5275 search results - page 374 / 1055 » Computing by observing |
158
click to vote
HAPTICS
2009
IEEE
15 years 8 months ago
2009
IEEE
Enhancing volume visualization with additional cues from our sense of touch has shown the potential to increase both speed and accuracy in the data exploration. Research in the ar...
139
Voted
EXACT
2007
15 years 7 months ago
2007
Given a model and a property expressed in temporal logic, a model checker normally produces a counterexample in case the model does not satisfy the property. This counterexample i...
149
click to vote
WSC
2008
15 years 7 months ago
2008
Modeling and simulation frameworks for use in different application domains, throughout the complete development process, and in different hardware environments need to be highly ...
174
click to vote
ACMDIS
2008
ACM
15 years 7 months ago
2008
ACM
Mobile technologies are deployed into diverse social, cultural, political and geographic settings, and incorporated into diverse forms of personal and collective mobility. We pres...
160
click to vote
AMDO
2008
Springer
15 years 7 months ago
2008
Springer
Detection of humans and estimation of their 2D poses from a single image are challenging tasks. This is especially true when part of the observation is occluded. However, given a l...