4098 search results - page 601 / 820 » Sound mobility models |
195
click to vote
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper studies the problem of model-based testing of real-time systems that are only partially observable. We model the System Under Test (SUT) using Timed Game Automata (TGA)...
210
click to vote
CVPR
2010
IEEE
15 years 3 months ago
2010
IEEE
Watching a reflection in a glass window, one can often observe a multi-layered image consisting of a frontsurface reflection from the glass and a rear-surface reflection through t...
194
click to vote
AAMAS
2011
Springer
15 years 1 months ago
2011
Springer
We present a family of sound and complete logics for reasoning about deliberation strategies for SimpleAPL programs. SimpleAPL is a fragment of the agent programming language 3APL...
173
click to vote
TASLP
2011
15 years 1 months ago
2011
—Measuring binaural room impulse responses (BRIRs) for different rooms and different persons is a costly and time-consuming task. In this paper, we propose a method that allows t...
146
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Consumers increasingly go online to rate, review and research products (Jansen, 2010; Litvin et al., 2008). Consequently, websites containing these reviews are becoming targets of...