Sciweavers

2920 search results - page 225 / 584
» Finite information logic
Sort
View
COSIT
1999
Springer
124views GIS» more  COSIT 1999»
15 years 11 months ago
A Predication Calculus for Qualitative Spatial Representations
Spatial information is information bound to spatial entities such as regions. It is based on the spatial structure alone (the valley includes the field) or connects thematic predic...
Carola Eschenbach
LOPSTR
2005
Springer
16 years 5 days ago
Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates
Partial evaluation of logic programs which contain impure predicates poses non-trivial challenges. Impure predicates include those which produce side-effects, raise errors (or exc...
Elvira Albert, Germán Puebla, John P. Galla...
EDBT
2008
ACM
137views Database» more  EDBT 2008»
16 years 6 months ago
Synthesizing structured text from logical database subsets
In the classical database world, information access has been based on a paradigm that involves structured, schema-aware, queries and tabular answers. In the current environment, h...
Alkis Simitsis, Georgia Koutrika, Yannis Alexandra...
SIGLEX
1991
15 years 10 months ago
Logical Structures in the Lexicon
The lexical entry for a word must contain all the information needed to construct a semantic representation for sentences that contain the word. Because of that requirement, the f...
John F. Sowa
AES
2008
Springer
182views Cryptology» more  AES 2008»
15 years 6 months ago
Logical product models for automated scripting of process-level construction animations
Animation can add significant value to Discrete-Event Simulation by helping verify, validate, and accredit simulation analyses. This is particularly true in construction where typ...
Vineet R. Kamat