1546 search results - page 136 / 310 » Context-Aware Computing with Sound |
115
Voted
CORR
2006
Springer
15 years 5 months ago
2006
Springer
Although good encryption functions are probabilistic, most symbolic models do not capture this aspect explicitly. A typical solution, recently used to prove the soundness of such ...
140
Voted
CGI
1997
IEEE
15 years 9 months ago
1997
IEEE
In this article we propose a model of a tennis game simulation with synthetic actors as players and a referee. The behavior of these actors is based on their synthetic vision and ...
128
Voted
ASIAN
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We provide a formal definition of information flows in XML transformations and, more generally, in the presence of type driven computations and describe a sound technique...
149
Voted
MM
2005
ACM
15 years 10 months ago
2005
ACM
We are developing a new voice communication medium called voiscape. Voiscape enables natural and seamless bi-directional voice communication by using sound to create a virtual sou...
151
Voted
EVOW
2005
Springer
15 years 10 months ago
2005
Springer
This paper reports on steps that have been taken to enhance previously presented evolutionary sound matching work. In doing so, the convergence characteristics are shown to provide...