11030 search results - page 498 / 2206 » Generative Sound Models |
135
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
Typing of lambda-terms in Elementary and Light Affine Logic (EAL , LAL resp.) has been studied for two different reasons: on the one hand the evaluation of typed terms using LAL ...
191
click to vote
SMC
2007
IEEE
16 years 1 months ago
2007
IEEE
: With the development of enterprise-wide and cross-enterprise application integration and interoperation towards web service, web service providers try to not only fulfill the fun...
198
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics ...
185
click to vote
DIS
2007
Springer
16 years 1 months ago
2007
Springer
Abductive inference has long been associated with the logic of scientific discovery and automated abduction is now being used in real scientific tasks. But few methods can exploi...
175
click to vote
ICMCS
2006
IEEE
16 years 28 days ago
2006
IEEE
Most of the current speech transmission systems are only able to deliver speech signals in a narrow frequency band. This narrowband speech is characterized by a thin and muffled ...