1546 search results - page 124 / 310 » Context-Aware Computing with Sound |
262
click to vote
Book
"The focus of this book is on spectral modeling applied to audio signals. Spectral modeling has two main components: analysis and synthesis. We analyze sound in terms of spect...
201
click to vote
ARGMAS
2009
Springer
15 years 11 months ago
2009
Springer
We describe a working multi-agent architecture based on Defeasible Logic Programming (DeLP) by Garc´ıa and Simari where agents are engaged in an argumentation to reach a common c...
108
Voted
WCNC
2008
IEEE
15 years 11 months ago
2008
IEEE
—Temporal-Angular channel sounding measurements of an indoor millimeter wave channel (60 GHz) is analyzed to determine whether ray arrivals at the receiver form clusters in the t...
148
Voted
LICS
2005
IEEE
15 years 10 months ago
2005
IEEE
The universal Horn theory of relational Kleene algebra with tests (RKAT) is of practical interest, particularly for program semantics. We develop an (infinitary) proof system, ba...
140
click to vote
CONCUR
2005
Springer
15 years 10 months ago
2005
Springer
Usually, ranking function synthesis and invariant generation oop with integer variables involves abstracting the loop to have real variables. Integer division and modulo arithmetic...