1322 search results - page 198 / 265 » Efficient Goal-Directed Exploration |
117
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...
107
Voted
CIDR
2009
15 years 1 months ago
2009
We present the design and development of a data stream system that captures data uncertainty from data collection to query processing to final result generation. Our system focuse...
113
click to vote
CIDR
2009
15 years 1 months ago
2009
In database query processing, actual run-time conditions (e.g., actual selectivities and actual available memory) very often differ from compile-time expectations of run-time cond...
123
click to vote
DAWAK
2010
Springer
15 years 1 months ago
2010
Springer
Mining of frequent closed itemsets has been shown to be more efficient than mining frequent itemsets for generating non-redundant association rules. The task is challenging in data...
101
click to vote
ESORICS
2010
Springer
15 years 1 months ago
2010
Springer
Remote attestation is the process of verifying internal state of a remote embedded device. It is an important component of many security protocols and applications. Although previo...