Sciweavers

13041 search results - page 376 / 2609
» Simulating space and time
Sort
View
AMAST
2006
Springer
15 years 10 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
WSC
2007
15 years 9 months ago
Statistical analysis of simulation output: state of the art
This paper reviews statistical methods for analyzing output data from computer simulations. Specifically, it focuses on the estimation of steady-state system parameters. The esti...
Christos Alexopoulos
ICIP
2007
IEEE
16 years 8 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
INFOCOM
2006
IEEE
16 years 26 days ago
Evaluating Mobility Pattern Space Routing for DTNs
— Because a delay tolerant network (DTN) can often be partitioned, routing is a challenge. However, routing benefits considerably if one can take advantage of knowledge concerni...
Jeremie Leguay, Timur Friedman, Vania Conan