2149 search results - page 112 / 430 » Form over Substance |
140
click to vote
CVPR
2010
IEEE
16 years 1 months ago
2010
IEEE
We explore the use of clouds as a form of structured lighting to capture the 3D structure of outdoor scenes observed over time from a static camera. We derive two cues that relate ...
142
click to vote
HRI
2009
ACM
15 years 11 months ago
2009
ACM
We present a preliminary implementation of a robot within the context of social skills intervention. The robot engages a human user in an interactive and adaptive game-playing ses...
133
click to vote
BIRTHDAY
2009
Springer
15 years 11 months ago
2009
Springer
We consider a class of arithmetic equations over the complete lattice of integers (extended with −∞ and ∞) and provide a polynomial time algorithm for computing least solutio...
135
click to vote
HYBRID
2009
Springer
15 years 11 months ago
2009
Springer
In this paper, we present an automatable decompositional method for the computation of Lyapunov functions for hybrid systems with complex discrete state spaces. We use graph-based ...
128
click to vote
CLUSTER
2009
IEEE
15 years 11 months ago
2009
IEEE
The computation of an electromagnetic reflectivity image from a set of radar returns is a computationally intensive process. Therefore, the use of high performance computing is r...