12946 search results - page 2112 / 2590 » Natural Language Processing |
179
click to vote
ENTCS
2007
15 years 7 months ago
2007
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...
180
click to vote
MMS
2008
15 years 7 months ago
2008
Though everyday interaction is predominantly multimodal, a purpose-developed framework for describing the semantic interplay between verbal and non-verbal communication is still la...
216
click to vote
ACTA
2005
15 years 7 months ago
2005
MoMi (Mobile Mixins) is a coordination language for mobile processes that communicate and exchange object-oriented code in a distributed context. MoMi's key idea is structuri...
214
click to vote
SPEECH
2008
15 years 7 months ago
2008
The performance of automatic speech recognition (ASR) systems in the presence of noise is an area that has attracted a lot of research interest. Additive noise from interfering no...
180
click to vote
TAP
2008
Springer
15 years 7 months ago
2008
Springer
This article presents the generation and test case execution under the framework Focal. In the programming language Focal, all properties of the program are written within the sour...