7335 search results - page 999 / 1467 » Scene Based Reasoning |
209
Voted
TLCA
2007
Springer
16 years 29 days ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...
206
Voted
UIC
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Context-aware systems incorporate multimodal information to analyze contextual information in users’ environment and provide various proactive services according to dyn...
188
click to vote
UIC
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Devices like PDAs, mobile phones and Smartcards can communicate with each other and to exchange information and they should be made mutually aware of each other. For priv...
155
click to vote
WEBI
2007
Springer
16 years 29 days ago
2007
Springer
The virtual world is comprised of data items related to each other in a variety of contexts. Often such relations can be represented as graphs that evolve over time. Examples incl...
192
click to vote
WER
2007
Springer
16 years 29 days ago
2007
Springer
Software inspections have proved to be an effective means to find faults in different software artifacts, and the application of software inspections on requirements specification...