Sciweavers

9444 search results - page 107 / 1889
» The Language Model LMNtal
Sort
View
TOSEM
2002
93views more  TOSEM 2002»
15 years 2 months ago
Alloy: a lightweight object modelling notation
Alloy is a little language for describing structural properties. It offers a declaration syntax compatible with graphical object models, and a set-based formula syntax powerful en...
Daniel Jackson
COLING
2010
14 years 10 months ago
Modeling Socio-Cultural Phenomena in Discourse
In this paper, we describe a novel approach to computational modeling and understanding of social and cultural phenomena in multi-party dialogues. We developed a two-tier approach...
Tomek Strzalkowski, George Aaron Broadwell, Jennif...
GI
2009
Springer
15 years 1 months ago
Specification based testing of automotive human machine interfaces
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
Holger Grandy, Sebastian Benz
132
Voted
ICASSP
2011
IEEE
14 years 7 months ago
The IBM 2009 GALE Arabic speech transcription system
We describe the Arabic broadcast transcription system elded by IBM in the GALE Phase 4 machine translation evaluation. Key advances over our Phase 3.5 system include improvements ...
Brian Kingsbury, Hagen Soltau, George Saon, Stephe...
POPL
1997
ACM
15 years 6 months ago
A Unified Computation Model for Functional and Logic Programming
We propose a new computation model which combines the operational principles of functional languages (reduction), logic languages (non-deterministic search for solutions), and int...
Michael Hanus