Sciweavers

5372 search results - page 768 / 1075
» Robotics and interactive simulation
Sort
View
SIGMOD
2008
ACM
97views Database» more  SIGMOD 2008»
15 years 6 months ago
Exploring ocean data
In fall of 2004, we met Jim Gray and began to converse about the data needs of ocean scientists. The conversations ultimately led to the development of a unique portal for explori...
James G. Bellingham, Mike Godin
LICS
2012
IEEE
13 years 9 months ago
Logics of Dynamical Systems
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
André Platzer
CHI
2005
ACM
16 years 7 months ago
Wizard of Oz interfaces for mixed reality applications
One important tool for developing complex interactive applications is "Wizard of Oz" (WOz) simulation. WOz simulation allows design concepts, content and partially compl...
Steven Dow, Jaemin Lee, Christopher Oezbek, Blair ...
ICCS
2004
Springer
16 years 1 days ago
Collaborative Integration of Speech and 3D Gesture for Map-Based Applications
QuickSet [6] is a multimodal system that gives users the capability to create and control map-based collaborative interactive simulations by supporting the simultaneous input from ...
Andrea Corradini
219
Voted
DSRT
2003
IEEE
15 years 12 months ago
Real Time Inspection of Hidden Worlds
“Smart Things” are commonly understood as wireless ad-hoc networked, mobile, autonomous, special purpose computing appliances, usually interacting with their environment impli...
Alois Ferscha, Markus Keller