4098 search results - page 162 / 820 » Sound mobility models |
102
click to vote
FAC
2008
15 years 4 months ago
2008
Substitution is fundamental to the theory of logic and computation. Is substitution something that we define on syntax on a case-by-case basis, or can we turn the idea of substitut...
107
click to vote
LOGCOM
2006
15 years 4 months ago
2006
An intuitionistic, hybrid modal logic suitable for reasoning about distribution of resources was introduced in [14, 15]. The modalities of the logic allow us to validate propertie...
119
Voted
PRESENCE
2008
15 years 4 months ago
2008
To be immersed in a virtual environment, the user must be presented with plausible sensory input including auditory cues. A virtual (three-dimensional) audio display aims to allow...
140
click to vote
ADT
2005
15 years 4 months ago
2005
Component based design is a new paradigm to build distributed systems and applications. The problem of compositional verification of such systems is however still open. We investig...
127
Voted
LLC
2011
14 years 11 months ago
2011
Computational phonology studies sound patterns in the world’s languages from a computational perspective. This article shows that the similarities between different generative t...