1636 search results - page 229 / 328 » Reasoning About Quantum Systems |
191
click to vote
IJIIDS
2008
15 years 6 months ago
2008
: Growing importance of distributed data mining techniques has recently attracted attention of researchers in multiagent domain. Several agent-based application have been already c...
176
click to vote
IROS
2006
IEEE
16 years 9 days ago
2006
IEEE
Abstract— Mobile robots need maps or other forms of geometric information about the environment to navigate. The mobility sensors (LADAR, stereo, etc.) on these robotic vehicles ...
173
click to vote
EDBT
1990
ACM
15 years 10 months ago
1990
ACM
Deductive Databases are coming of age with the emergence of efficient and easy to use systems that support queries, reasoning, and application development on databases through dec...
168
click to vote
TLDI
2003
ACM
15 years 11 months ago
2003
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work has addresse...
194
click to vote
EDOC
2008
IEEE
16 years 22 days ago
2008
IEEE
Service providers as we know them nowadays are the always-on “static” web service providers, that aim at Five9 availability (99.999%). Formal, or de-facto, standards, such as ...