12981 search results - page 2197 / 2597 » Model Checking (Abstract) |
143
click to vote
EDBT
2006
ACM
16 years 5 months ago
2006
ACM
Abstract. The retrieval of objects from a multimedia database employs a measure which defines a similarity score for every pair of objects. The measure should effectively follow th...
141
click to vote
ICSE
2007
IEEE-ACM
16 years 5 months ago
2007
IEEE-ACM
Abstract. In this chapter we discuss the susceptibility of critical information infrastructures to computer-borne attacks and faults, mainly due to their largely computerized natur...
129
Voted
ICDE
2010
IEEE
16 years 4 months ago
2010
IEEE
In this paper, we present an abstract framework for online approximation of time-series data that yields a unified set of algorithms for several popular models: data streams, amnes...
158
click to vote
PERCOM
2007
ACM
16 years 4 months ago
2007
ACM
Abstract. A major challenge in pervasive computing is to learn activity patterns, such as bathing and cleaning from sensor data. Typical sensor deployments generate sparse datasets...
131
click to vote
MOBISYS
2005
ACM
16 years 4 months ago
2005
ACM
If a mobile computing device knows how it is positioned and oriented in relation to other devices nearby, then it can provide enhanced support for multi-device and multi-user inte...