453 search results - page 41 / 91 » Fault-Tolerant Techniques for Ambient Intelligent Distribute... |
151
click to vote
DGO
2003
15 years 7 months ago
2003
State-of-art image retrieval techniques have been developed to support high-level (semantics) querying and browsing of images. For certain user queries, it is also very important ...
132
click to vote
ATAL
2007
Springer
16 years 10 days ago
2007
Springer
We consider real-time multi-agent coordination in a dynamic and uncertain domain addressing both distributed state information and partial knowledge of the common reward function....
176
click to vote
AMR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Although many different types of technologies for information systems have evolved over the last decades (such as databases, video systems, the Internet and mobile telec...
156
click to vote
AAAI
2000
15 years 7 months ago
2000
In this paper, we present PQSOLVE, a distributed theorem-prover for Quantified Boolean Formulae. First, we introduce our sequential algorithm QSOLVE, which uses new heuristics and...
294
click to vote
FM
1997
Springer
15 years 10 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...