Sciweavers

1546 search results - page 227 / 310
» Context-Aware Computing with Sound
Sort
View
ECCV
2002
Springer
16 years 6 months ago
Model Acquisition by Registration of Multiple Acoustic Range Views
This paper deals with the three-dimensional reconstruction of an underwater environment from multiple acoustic range views acquired by a remotely operated vehicle. The problem is m...
Andrea Fusiello, Umberto Castellani, Lucca Ronchet...
ECCV
2000
Springer
16 years 6 months ago
Color and Scale: The Spatial Structure of Color Images
Abstract. For grey-value images, it is well accepted that the neighborhood rather than the pixel carries the geometrical interpretation. Interestingly the spatial configuration of ...
Jan-Mark Geusebroek, Rein van den Boomgaard, Arnol...
ICPR
2006
IEEE
16 years 5 months ago
Phoneme segmentation of speech
In most approaches to speech recognition, the speech signals are segmented using constant-time segmentation, for example into 25 ms blocks. Constant segmentation risks losing info...
Bartosz Ziólko, Suresh Manandhar, Richard C...
COORDINATION
2009
Springer
16 years 5 months ago
Assume-Guarantee Verification of Concurrent Systems
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
Liliana D'Errico, Michele Loreti
SAS
2009
Springer
171views Formal Methods» more  SAS 2009»
16 years 5 months ago
Bottom-Up Shape Analysis
In this paper we present a new shape analysis algorithm. The key distinguishing aspect of our algorithm is that it is completely compositional, bottom-up and non-iterative. We pres...
Bhargav S. Gulavani, Supratik Chakraborty, Ganesan...