11030 search results - page 343 / 2206 » Generative Sound Models |
226
click to vote
MMB
2010
Springer
15 years 8 months ago
2010
Springer
Phase-type (PH) distributions are proven to be very powerful tools in modelling and analysis of a wide range of phenomena in computer systems. The use of these distributions in sim...
162
click to vote
CP
2008
Springer
15 years 8 months ago
2008
Springer
Constraint programming often involves global constraints, for which various custom filtering algorithms have been published. This work presents a semi-automatic generation of CHR s...
192
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
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...
144
click to vote
DATE
2006
IEEE
16 years 22 days ago
2006
IEEE
Practitioners of formal property verification often work around the capacity limitations of formal verification tools by breaking down properties into smaller properties that ca...
285
click to vote
ICDE
2003
IEEE
16 years 8 months ago
2003
IEEE
We are interested in capturing time series generated by small wireless electronic sensors. Battery-operated sensors must avoid heavy use of their wireless radio which is a key cau...