Filters








20,923 Hits in 5.5 sec

Col. Ingersoll to Mr. Gladstone

Robert G. Ingersoll
1888 North American Review  
You admit that " a person who deems a given religion to be wicked, may be led onward by logical con sistency to impugn in strong terms the character of the author and object of that religion," but you  ...  Certainly it cannot be said that I have ever mingled the profound and complex in a more fascinating manner.  ...  If men were discussing the causes and results of the Franco-Prussian war, it would hardly be worth while for a third person to interrupt the argument for the purpose of calling attention to a misspelled  ... 
fatcat:e4drgtkwwbfb3kig22l2cpjtma

Proving Behavioral Refinements of COL-specifications [chapter]

Michel Bidoit, Rolf Hennicker
2006 Lecture Notes in Computer Science  
The COL institution (constructor-based observational logic) has been introduced as a formal framework to specify both generationand observation-oriented properties of software systems.  ...  For this purpose one can directly apply the proof techniques for behavioral consequences of COL-specifications developed in [4].  ...  We are grateful to the anonymous referee of a previous version of this paper for valuable remarks.  ... 
doi:10.1007/11780274_18 fatcat:yf5ekqbxzvdzbascqznj5bv4mu

Grid Supported Virtual Laboratories with Col-laboration in Engineering Education

Christian Schmid
2008 International Journal of Online Engineering (iJOE)  
Example applications from a virtual laboratory demonstrate the advantages of a Grid over classical solutions.  ...  In this paper, Grid technologies are introduced to build e-learning environments for virtual laboratories. Service-oriented Grids open new fields of applications, the Learning Grids.  ...  In order to reduce the complexity of a Grid, a special layer is introduced that is for gluing the nodes on a logical level. The software responsible for this task is commonly called middleware.  ... 
doaj:f77a7a729569482ab8846a88e74c15c6 fatcat:xs3rrrwqhrcgbjt32i2yrfszwi

Declarative Decomposition and Dispatching for Large-Scale Job-Shop Scheduling [chapter]

Giacomo Da Col, Erich C. Teppan
2016 Lecture Notes in Computer Science  
We present first results proving the concept of our novel scheduling approach based on a new large-scale job-shop benchmark with proven optimal solutions.  ...  Our approach builds on problem decomposition for keeping computational costs low, dispatching rules for effectiveness and declarative programming for high adaptability and maintainability.  ...  The production plan is made for each workcenter independently based on dispatching rules, a widely employed state-of-the-art technique for dealing with large and complex scheduling problems in nowadays  ... 
doi:10.1007/978-3-319-46073-4_11 fatcat:gju2adjfovchhblmwj27iiqxzi

Des relations fonctionnelles des unités linguistiques aux relations instructionnelles

Gilles Col
2010 Corela  
propos du sens spatial de on : On: for a geometrical construct X to be contiguous with a line or surface Y; if Y is the surface of an object Oy, and X is the space occupied by another object Oy, for Oy  ...  Éditeur Cercle linguistique du Centre et de l'Ouest -CerLICO Référence électronique Gilles Col, « Des relations fonctionnelles des unités linguistiques aux relations instructionnelles », Corela [En ligne  ...  « The language form contains underspecified instruction for space building.  ... 
doi:10.4000/corela.859 fatcat:jz6pp2baibchpp57fpura5z62u

Heimat Is a Space in Time by Thomas Heise. Filmproduktions GmbH (2019). 218 min., b/w. German with English subtitles. Distributed by Icarus Films, Brooklyn, NY. www.IcarusFilms.com. Chez Jolie Coiffure by Rosine Mbakam. Tandor Productions (2018). 70 mins., col. French, Cameroon, English, with English subtitles. Distributed by Icarus Films, Brooklyn, NY. www.IcarusFilms.com. The Cordillera of Dreams by Patricio Guzman. Atacama Productions (2019). 85 min., col. Spanish with English subtitles. Distributed by I ...

Mike Leggett
2020 Leonardo: Journal of the International Society for the Arts, Sciences and Technology  
With occurrent arts, Massumi alludes to the process-based aspect of their art, or processual design, in which any object is just a temporary phase on its way to another.  ...  This recasting of the body (his body) as a semitechnical object is matched by the skills of the operators (clinicians), whose prelearning with computer-based games in childhood has seamlessly joined them  ... 
doi:10.1162/leon_r_01954 fatcat:64a6a6kqonh5plbg2ok4vlmfra

Deductive database languages: problems and solutions

Mengchi Liu
1999 ACM Computing Surveys  
In this paper, we discuss these problems from four different aspects: complex values, object orientation, higherorderness, and updates.  ...  Deductive databases result from the integration of relational database and logic programming techniques.  ...  Complex-Value Deductive Languages 2.1 LDL 2.2 COL 2.3 Hilog 2.4 Relationlog 3. Object-Oriented Deductive Languages 3.1 O-Logic 3.2 F-Logic 3.3 ROL 3.4 IQL 4.  ... 
doi:10.1145/311531.311533 fatcat:wv53x2zaxvbmpdjsklsgeumfvy

Page 6174 of Mathematical Reviews Vol. , Issue 91K [page]

1991 Mathematical Reviews  
Grumbach, “COL: a language for complex objects based on recursive rules”, in Proceedings of the International Workshop on Theory and Applications of Nested Relations and Complex Objects (1987); per revr  ...  Tsur, “Sets and negation in a logic database language (LDL1)”, in Proceedings of the Sixth Annual ACM Sym- posium on Principles of Database Systems (1987), 21-37; per bibl.; Naqui, A logical language for  ... 

Why do we read the classics?

Giovanni da Col, Claudio Sopranzetti, Fred Myers, Anastasia Piliavsky, John L. Jackson, Yarimar Bonilla, Adia Benton, Paul Stoller
2017 HAU: Journal of Ethnographic Theory  
Whether in terms of the complex relation between the production of anthropological knowledge and the political systems in which it takes place, or the proliferation of the language of "mutual constitution  ...  " as a way to bypass questions of causality, the question of the "suffering" vs. the "good, " the attribution of "colonial" or "white male privilege" to ethnographic classics, or the hackneyed debates  ...  Only some texts, classics, or masterpieces, allow for the exercise of such complex argument and critique, based on shared "texts. " Annette Weiner, when she had recently returned from her fieldwork in  ... 
doi:10.14318/hau7.3.002 fatcat:r4xdwbpbbfc53pnx4gnnjiyqp4

Page 4935 of Mathematical Reviews Vol. , Issue 99g [page]

1999 Mathematical Reviews  
As a result, the techniques appropriate for studying its expressive power are significantly different from those for other languages with equality-based semantics.  ...  When first-order logic is used as a query language for relational databases (i.e., in the relational calculus), two interpretations are possible for formulae: the standard, “natural” interpretation, where  ... 

A logic for programming with complex objects

Michael Kifer, James Wu
1993 Journal of computer and system sciences (Print)  
We present a logic for reasoning with complex objects, which is a repaired and significantly extended version of Maier's O-logic [43] .  ...  The revised O-logic has a sound and complete resolution-based proof procedure.  ...  The work reported here seems to suggest otherwise: we present a logic language with a well-defined semantics that extends predicate calculus and accommodates deduction with complex objects and object identity  ... 
doi:10.1016/0022-0000(93)90021-n fatcat:c63dwk4cbzam7imrfoifgexx4y

A Language-Based Similarity Measure [chapter]

Lionel Martin, Frédéric Moal
2001 Lecture Notes in Computer Science  
In our framework, the user defines a language with a grammar to specify the similarity measure. Each term of the language represents a property of the objects.  ...  This paper presents an unified framework for the definition of similarity measures for various formalisms (attribute-value, first order logic...).  ...  measure based on the construction of object descriptions, used in both attribute-value languages and first order logic.  ... 
doi:10.1007/3-540-44795-4_29 fatcat:54kbbu2w55cotgzlt6q7qeb6k4

Demonstration of Hadoop-GIS

Ablimit Aji, Xiling Sun, Hoang Vo, Qioaling Liu, Rubao Lee, Xiaodong Zhang, Joel Saltz, Fusheng Wang
2013 Proceedings of the 21st ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems - SIGSPATIAL'13  
Hadoop-GIS also provides an expressive, SQL-like spatial query language for workload specification.  ...  We will demonstrate how spatial queries are expressed in spatially extended SQL queries, and submitted through a command line/web interface for execution.  ...  There are two advantages of such tile based storage organization. First, it servers as a logical parallelization unit for task creation and assignment.  ... 
doi:10.1145/2525314.2525320 pmid:27617325 pmcid:PMC5013659 dblp:conf/gis/AjiSVLL0SW13 fatcat:thb7ib4k4fc73eonaegr5evmny

Hardware based segmentation in iris recognition and authentication systems

Bradley J. Ulis, Randy P. Broussard, Ryan N. Rakvic, Robert W. Ives, Neil Steiner, Hau Ngo, Sos S. Agaian, Sabah A. Jassim
2009 Mobile Multimedia/Image Processing, Security, and Applications 2009  
Iris recognition algorithms depend on image processing techniques for proper segmentation of the iris.  ...  These functions take substantial processing time in software on the order of a few hundred million operations.  ...  To correct for artifacts and find the existence of objects in the image, the segmentation process uses a series of binary morphology functions to dilate, erode and assign values to the objects based on  ... 
doi:10.1117/12.820239 fatcat:lybao675ibccvee5fe4dsrq6za

Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational Relationships

Mirco Kuhlmann, Martin Gogolla
2007 Electronic Communications of the EASST  
The OCL (Object Constraint Language) as part of the UML (Unified Modeling Language) is a rich language with different collection kinds (sets, multi-sets, sequences) and a large variety of operations defined  ...  Without negating the strong correlation between both fields we can say that these operations have their origin partly in logic (like the operations forAll and exists) and partly in computer science, in  ...  With the upcoming of MDA (Model Driven Architecture) and MDD (Model Driven Development), OCL becomes more and more popular, partly as a pure expression language, partly as a language for expressing transformations  ... 
doi:10.14279/tuj.eceasst.9.107 dblp:journals/eceasst/KuhlmannG08 fatcat:rw22xnsyyberlfv4mfg546o4a4
« Previous Showing results 1 — 15 out of 20,923 results