Sciweavers

497 search results - page 82 / 100
» The 'Interactive' of Interactive Storytelling: Customizing t...
Sort
View
C5
2005
IEEE
14 years 1 months ago
Suggestions for New Features to Support Collaborative Learning in Virtual Worlds
The authors have some experience in building virtual worlds for education purposes, in archaeology and for language learning. However, many mainstream world-building applications ...
Erik Champion, Sachiyo Sekiguchi
CVPR
2005
IEEE
14 years 9 months ago
Tracking Multiple Objects through Occlusions
We present an approach for tracking varying number of objects through both temporally and spatially significant occlusions. Our method builds on the idea of object permanence to r...
Yan Huang, Irfan A. Essa
CAV
2007
Springer
114views Hardware» more  CAV 2007»
13 years 11 months ago
Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
Dirk Beyer, Thomas A. Henzinger, Grégory Th...
UIST
2006
ACM
14 years 1 months ago
Soap: a pointing device that works in mid-air
Soap is a pointing device based on hardware found in a mouse, yet works in mid-air. Soap consists of an optical sensor device moving freely inside a hull made of fabric. As the us...
Patrick Baudisch, Mike Sinclair, Andrew Wilson
ATAL
2006
Springer
13 years 11 months ago
TacTex-05: An Adaptive Agent for TAC SCM
Supply chains are ubiquitous in the manufacturing of many complex products. Traditionally, supply chains have been created through the interactions of human representatives of the ...
David Pardoe, Peter Stone, Mark Van Middlesworth