2737 search results - page 452 / 548 » interaction 2009 |
138
click to vote
COMPLEX
2009
Springer
16 years 3 days ago
2009
Springer
To probe network characteristics, two predominant ways of network comparison are global property statistics and subgraph enumeration. However, they suffer from limited information...
145
click to vote
COSIT
2009
Springer
16 years 3 days ago
2009
Springer
For an autonomous physical agent, such as a moving robot or a person with their mobile device, performing a task in a spatio-temporal environment often requires interaction with ot...
151
click to vote
CPAIOR
2009
Springer
16 years 3 days ago
2009
Springer
Abstract. In constraint programming there are often many choices regarding the propagation method to be used on the constraints of a problem. However, simple constraint solvers usu...
158
Voted
CSL
2009
Springer
16 years 3 days ago
2009
Springer
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...
167
click to vote
DAGM
2009
Springer
16 years 3 days ago
2009
Springer
We present a novel algorithm for the markerless tracking of deforming surfaces such as faces. We acquire a sequence of 3D scans along with color images at 40Hz. The data is then re...