2446 search results - page 324 / 490 » First Smart Spaces |
119
click to vote
SPIN
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Model checking real programs has recently become an active research area. Programs however exhibit two characteristics that make model checking di cult: the complexity of...
155
Voted
CVPR
2000
IEEE
15 years 8 months ago
2000
IEEE
We formulate face alignment as a model-based parameter estimation problem in this paper. First, we work within a framework that combines two separate subspace models to r epresent...
143
click to vote
FGR
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper proposes a state based approach to gesture learning and recognition. Using spatial clustering and temporal alignment, each gesture is defined to be an ordered sequence ...
134
click to vote
ICDCS
2000
IEEE
15 years 8 months ago
2000
IEEE
Creating replicas of frequently accessed objects across a read-intensive network can result in large bandwidth savings which, in turn, can lead to reduction in user response time....
148
click to vote
ICPADS
2000
IEEE
15 years 8 months ago
2000
IEEE
The most costly spatial operation in spatial databases is a spatial join with combines objects from two data sets based on spatial predicates. Even if the execution time of sequen...