165 search results - page 12 / 33 » Building Strong Semi-Autonomous Systems |
MLMI
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Static documents play a central role in multimodal applications such as meeting recording and browsing. They provide a variety of structures, in particular thematic, for ...
LOCWEB
2009
ACM
14 years 2 months ago
2009
ACM
While the demand for Location-based Services (LBS) is strongly increasing, technical laymen are not yet able to build and provide location-aware applications. This paper presents ...
LISA
2001
13 years 11 months ago
2001
Cryptography has emerged as an enormously important component of the networked world. People are hesitant to trust the World Wide Web and e-commerce without the protections crypto...
JAIR
2000
13 years 9 months ago
2000
Recently model checking representation and search techniques were shown to be efciently applicable to planning, in particular to non-deterministic planning. Such planning approach...
FC
2000
Springer
14 years 1 months ago
2000
Springer
Auditability is an important property in nancial systems and architectures. Here we de ne the primitive of blind auditable membership proof" BAMP which combines public auditab...