262 search results - page 21 / 53 » State Space Reduction Techniques for Component Interfaces |
CGA
2004
14 years 11 months ago
2004
Haptic devices, such as the PHANTOM [1] (SensAble Technologies, Inc.) can be used to develop object interactions where various interaction states and state transitions are impleme...
115
click to vote
ENTCS
2010
14 years 9 months ago
2010
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
EICS
2010
ACM
15 years 4 months ago
2010
ACM
UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system’s state space, simulating the act...
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
A dimension reduction method called Discrete Empirical Interpolation (DEIM) is proposed and shown to dramatically reduce the computational complexity of the popular Proper Orthogo...
201
click to vote
ICDE
1998
IEEE
16 years 1 months ago
1998
IEEE
Similarity search in multimedia databases requires an efficient support of nearest-neighbor search on a large set of high-dimensional points as a basic operation for query process...