Sciweavers

3145 search results - page 300 / 629
» A Computational Psycholinguistic Model of Natural Language P...
Sort
View
MODELS
2009
Springer
16 years 1 months ago
Dead or Alive: finding zombie features in the Linux kernel
Variability management in operating systems is an errorprone and tedious task. This is especially true for the Linux operating system, which provides a specialized tool called Kco...
Reinhard Tartler, Julio Sincero, Wolfgang Schr&oum...
AI
2010
Springer
15 years 6 months ago
Interactive semantics
instruments. A melody expresses abstract artistic conception or emotion. The explanation ability plays the key role in the externalization and internalization from one form of expr...
Hai Zhuge
SPIN
1999
Springer
15 years 11 months ago
Embedding a Dialect of SDL in PROMELA
Abstract. We describe a translation from a dialect of SDL-88 to PROMELA, the input language of the SPIN model checker. The fairly straightforward translation covers data types as w...
Heikki Tuominen
MPC
2010
Springer
181views Mathematics» more  MPC 2010»
15 years 11 months ago
Process Algebras for Collective Dynamics
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...
Jane Hillston
AAAI
2011
14 years 6 months ago
Analogical Dialogue Acts: Supporting Learning by Reading Analogies in Instructional Texts
Analogy is heavily used in instructional texts. We introduce the concept of analogical dialogue acts (ADAs), which represent the roles utterances play in instructional analogies. ...
David Michael Barbella, Kenneth D. Forbus