Sciweavers

3863 search results - page 211 / 773
» Function in Device Representation
Sort
View
AAAI
1994
15 years 5 months ago
Spatial Reasoning in Indeterminate Worlds
A possible worlds semantics for model-based spatial reasoning is presented. In this semantics, worlds are characterized by the alternative states that result from indeterminacy or...
Janice I. Glasgow
NAACL
1994
15 years 5 months ago
Principles of Template Design
The functionality of systems that extract information from texts can be specified quite simply: the input is a stream of texts and the output is some representation of the informa...
Jerry R. Hobbs, David J. Israel
APLAS
2010
ACM
15 years 4 months ago
Data Structure Fusion
We consider the problem of specifying data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data...
Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin...
INFORMATICALT
2000
141views more  INFORMATICALT 2000»
15 years 4 months ago
Intelligent GIS: Architectural Issues and Implementation Methods
Abstract. The paper presents an intelligent GIS architecture that enables us to extend GIS functionality by using domain specific knowledge and inference engine. In this architectu...
Viktoras Paliulionis
PERVASIVE
2005
Springer
15 years 10 months ago
Task Partitioning in Smart Environments
This paper studies the use of a Bluetooth enabled mobile phone as a controlling device in a smart environment. Main focus for the work is partitioning of the functionality and the...
Markus Ritala, Jukka Vanhala