1897 search results - page 103 / 380 » eg 2007 |
KI
2007
Springer
14 years 4 months ago
2007
Springer
General action languages, like e.g. the Situation Calculus, use full classical logic to represent knowledge of actions and their effects in dynamic domains. Description Logics, on...
LOCA
2007
Springer
14 years 4 months ago
2007
Springer
Many context- and location-aware applications request high accuracy and availability of positioning systems. In reality however, knowledge about the current position may be incompl...
MHCI
2007
Springer
14 years 4 months ago
2007
Springer
In this demonstration, we present a system that enables users to easily generate quizzes for mobile devices. With our program, they can create multiple choice tests and general qu...
OTM
2007
Springer
14 years 4 months ago
2007
Springer
We present a pragmatic extension of a Semantic Web query language (including so-called grounded conjunctive queries) with a termination safe functional expression language. This ad...
PKC
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Direct anonymous attestation (DAA) is an anonymous authentication scheme adopted by the Trusted Computing Group in its specifications for trusted computing platforms. Th...