11030 search results - page 215 / 2206 » Generative Sound Models |
135
click to vote
LOGCOM
2006
15 years 6 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...
174
click to vote
ADT
2005
15 years 6 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...
135
click to vote
CP
2005
Springer
16 years 7 hour ago
2005
Springer
Abstract. The automatic modelling tool Conjure generates CSP models from problem specifications. The generated models may contain multiple alternative (redundant) representations ...
155
click to vote
ACL
2010
15 years 4 months ago
2010
In this paper we tackle the problem of automatic caption generation for news images. Our approach leverages the vast resource of pictures available on the web and the fact that ma...
172
click to vote
NAACL
2001
15 years 7 months ago
2001
In automatic speech recognition (ASR) enabled applications for medical dictations, corpora of literal transcriptions of speech are critical for training both speaker independent a...