4266 search results - page 619 / 854 » A Framework for Defining Logics |
182
click to vote
PERCOM
2010
ACM
15 years 4 months ago
2010
ACM
Abstract--Despite much progress, developing a pervasive computing application remains a challenge because of a lack of conceptual frameworks and supporting tools. This challenge in...
224
click to vote
SECON
2010
IEEE
15 years 4 months ago
2010
IEEE
Wireless communications over water may suffer from serious multipath fading due to strong specular reflections from conducting water surfaces. Cognitive radios enable dynamic spect...
198
click to vote
SECON
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper bears on the design and the quantitative evaluation of MAC mechanisms for wireless ad-hoc networks with performance guarantees. By this, we mean mechanisms where each ac...
228
click to vote
EDBT
2009
ACM
15 years 4 months ago
2009
ACM
Data Stream Management Systems (DSMS) operate under strict performance requirements. Key to meeting such requirements is to efficiently handle time-critical tasks such as managing...
179
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
This paper deals with region-of-interest (ROI) tracking in video sequences. The goal is to determine in successive frames the region which best matches, in terms of a similarity m...