Sciweavers

9455 search results - page 296 / 1891
» The Modelling Language Zinc
Sort
View
ICASSP
2011
IEEE
14 years 10 months ago
Sentence simplification for spoken language understanding
In this paper, we present a sentence simplification method and demonstrate its use to improve intent determination and slot filling tasks in spoken language understanding (SLU) ...
Gökhan Tür, Dilek Hakkani-Tür, Larr...
POPL
2007
ACM
16 years 6 months ago
Cost semantics for space usage in a parallel language
We describe a framework for better understanding scheduling policies for fine-grained parallel computations and their effect on space usage. We define a profiling semantics that c...
Daniel Spoonhower
LPNMR
2009
Springer
16 years 21 days ago
On the Input Language of ASP Grounder Gringo
We report on recent advancements in the development of grounder Gringo for logic programs under answer set semantics. Like its relatives, DLV and Lparse, Gringo has in the meantime...
Martin Gebser, Roland Kaminski, Max Ostrowski, Tor...
197
Voted
MEMOCODE
2003
IEEE
15 years 11 months ago
Executable Computational Logics: Combining Formal Methods and Programming Language Based System Design
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
José Meseguer
ECAL
2001
Springer
15 years 10 months ago
The Survival of the Smallest: Stability Conditions for the Cultural Evolution of Compositional Language
Abstract. Recent work in the field of computational evolutionary linguistics suggests that the dynamics arising from the cultural evolution of language can explain the emergence o...
Henry Brighton, Simon Kirby