4098 search results - page 359 / 820 » Sound mobility models |
170
click to vote
FATES
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...
194
click to vote
IE
2007
15 years 8 months ago
2007
In this paper, I describe a possible creative model for approaching realtime 3D Multi-user Virtual Environments (MUVEs) as formal, audio-visual composition environments. The model...
157
click to vote
DAGSTUHL
2008
15 years 8 months ago
2008
Interval arithmetic is arithmetic for continuous sets. Floating-point intervals are intervals of real numbers with floating-point bounds. Operations for intervals can be efficient...
200
click to vote
IJIT
2004
15 years 8 months ago
2004
Abstract-- We consider a hybrid knowledge representation system for ontological knowledge bases in order to maintain knowledge consistency between taxonomic knowledge and assertion...
181
click to vote
NIPS
2004
15 years 8 months ago
2004
We study the synthesis of neural coding, selective attention and perceptual decision making. We build a hierarchical neural architecture that implements Bayesian integration of no...