21 search results - page 4 / 5 » Update Exchange with Mappings and Provenance |
DILS
2005
Springer
13 years 10 months ago
2005
Springer
For execution of complex biological queries, data integration systems often use several intermediate data sources because the domain coverage of individual sources is limited. Qual...
ASIACRYPT
2003
Springer
13 years 10 months ago
2003
Springer
We introduce a new cryptographic tool: multiset hash functions. Unlike standard hash functions which take strings as input, multiset hash functions operate on multisets (or sets). ...
IROS
2008
IEEE
2008
IEEE
HybridExploration: A distributed approach to terrain exploration using mobile and fixed sensor nodes
13 years 11 months ago
— When an emergency occurs within a building, it may be initially safer to send autonomous mobile nodes, instead of human responders, to explore the area and identify hazards and...
LOGCOM
2007
13 years 5 months ago
2007
We provide algebraic semantics together with a sound and complete sequent calculus for information update due to epistemic actions. This semantics is flexible enough to accommoda...
AAAI
2012
11 years 7 months ago
2012
Real-world AI systems have been recently deployed which can automatically analyze the plan and tactics of tennis players. As the game-state is updated regularly at short intervals...