5216 search results - page 865 / 1044 » Planning as Model Checking |
218
click to vote
SIGMOD
2005
ACM
16 years 4 months ago
2005
ACM
This paper discusses ongoing research on scientific workflows at the Institute of Computing, University of Campinas (IC - UNICAMP) Brazil. Our projects with bio-scientists have le...
178
click to vote
PODS
2002
ACM
16 years 4 months ago
2002
ACM
We consider the fundamental operation of applying a conjunction of selection conditions to a set of records. With large main memories available cheaply, systems may choose to keep...
137
click to vote
EDBT
2004
ACM
16 years 4 months ago
2004
ACM
Abstract. The paper discusses the design and prototype implementation of a QoS-aware multimedia database system. Recent research in multimedia databases has devoted little attentio...
192
click to vote
MOBIHOC
2005
ACM
16 years 3 months ago
2005
ACM
We consider a wireless sensor network in which sensors are grouped into clusters, each with its own cluster head (CH). Each CH collects data from sensors in its cluster and relays...
147
click to vote
SSDBM
2006
IEEE
15 years 10 months ago
2006
IEEE
XML has become the standard for data exchange for a wide variety of applications, particularly in the scientific community. In order to efficiently process queries on XML repres...