Sciweavers

7820 search results - page 293 / 1564
» Formalization of Time and Space
Sort
View
MMAS
2004
Springer
16 years 23 days ago
Virtual Space Ontologies for Scripting Agents
Interactive multi-agent system improves reusability of agents by separating application design from agent design. However, it remains difficult for application designers (usually n...
Zhiqiang Gao, Liqun Ren, Yuzhong Qu, Toru Ishida
DSRT
1999
IEEE
15 years 11 months ago
Distributed Interaction in Virtual Spaces
Virtual spaces based on the metaphor of "shared network places" are becoming a well accepted implementation approach for multiuser, multimedia, distributed cooperative w...
Alois Ferscha, James Johnson
AMAST
2006
Springer
15 years 11 months ago
State Space Representation for Verification of Open Systems
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...
Irem Aktug, Dilian Gurov
INTERACT
2007
15 years 8 months ago
ThumbSpace: Generalized One-Handed Input for Touchscreen-Based Mobile Devices
In this paper, we present ThumbSpace, a software-based interaction technique that provides general one-handed thumb operation of touchscreenbased mobile devices. Our goals are to p...
Amy K. Karlson, Benjamin B. Bederson
ICIP
2007
IEEE
16 years 9 months ago
Epipolar Spaces for Active Binocular Vision Systems
Depth recovery for active binocular vision systems is simplified if the camera geometry is known and corresponding points can be restricted to epipolar lines. Unfortunately, compu...
James Monaco, Alan C. Bovik, Lawrence K. Cormack