553 search results - page 19 / 111 » A General Theory of Additive State Space Abstractions |
IJVR
2007
13 years 8 months ago
2007
—We present an empirical usability experiment studying the relative strengths and weaknesses of three different occlusion management techniques for discovering and accessing obje...
COSIT
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. The modeling of concepts from a cognitive perspective is important for designing spatial information systems that interoperate with human users. Concept representations t...
QEST
2005
IEEE
14 years 2 months ago
2005
IEEE
Abstract— Approximation techniques for labelled Markov processes on continuous state spaces were developed by Desharnais, Gupta, Jagadeesan and Panangaden. However, it has not be...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract—We analyze the properties of a class of low complexity timing error detectors for the purpose of timing error tracking in orthogonal space-time block coding receivers. F...
KBSE
2008
IEEE
14 years 3 months ago
2008
IEEE
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...