1981 search results - page 360 / 397 » Model-Checking Hierarchical Structures |
CONIELECOMP
2011
IEEE
13 years 16 days ago
2011
IEEE
—We propose a new multi-hop routing protocol for wireless sensor networks, suited for monitoring and control applications. The aim of this research is to adapt flat and hierarch...
CORR
2011
Springer
13 years 15 days ago
2011
Springer
Being able to detect and recognize human activities is important for making personal assistant robots useful in performing assistive tasks. The challenge is to develop a system th...
ICCV
2011
IEEE
12 years 8 months ago
2011
IEEE
This paper addresses the challenge of recognizing behavior of groups of individuals in unconstraint surveillance environments. As opposed to approaches that rely on agglomerative ...
ATAL
2011
Springer
12 years 8 months ago
2011
Springer
The main goal of a persuasion dialogue is to persuade, but agents may have a number of additional goals concerning the dialogue duration, how much and what information is shared o...
ICDE
2012
IEEE
11 years 11 months ago
2012
IEEE
We present a new Bi-level LSH algorithm to perform approximate k-nearest neighbor search in high dimensional spaces. Our formulation is based on a two-level scheme. In the first ...