7820 search results - page 1205 / 1564 » Formalization of Time and Space |
164
click to vote
SEMWEB
2007
Springer
16 years 27 days ago
2007
Springer
Recent research on model counting in CNF formulas has shown that a certain sampling method can yield results that are sound with a provably high probability. The key idea is to ite...
177
click to vote
STACS
2007
Springer
16 years 27 days ago
2007
Springer
We consider the problem of maintaining aggregates over recent elements of a massive data stream. Motivated by applications involving network data, we consider asynchronous data str...
182
click to vote
BSN
2006
IEEE
16 years 26 days ago
2006
IEEE
Ubiquitous computing has established a vision of computation where computers are so deeply integrated into our lives that they become both invisible and everywhere. In order to ha...
181
click to vote
INFOCOM
2006
IEEE
16 years 25 days ago
2006
IEEE
— A key function for network traffic monitoring and analysis is the ability to perform aggregate queries over multiple data streams. Change detection is an important primitive w...
169
click to vote
ISCAS
2006
IEEE
16 years 25 days ago
2006
IEEE
We describe a sensor network based on smart requirements of the network. This will provide a new approach imager sensors able to extract events of interest from a scene. for compos...