2370 search results - page 242 / 474 » On the Revival of Dynamic Languages |
206
click to vote
KI
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Several options are available to relate agent logics to computational agent systems. Among others, one can try to find useful executable fragments of an agent logic or us...
196
click to vote
TASLP
2008
15 years 7 months ago
2008
Abstract--This paper is concerned with the automatic recognition of dialogue acts (DAs) in multiparty conversational speech. We present a joint generative model for DA recognition ...
164
click to vote
ASE
2000
15 years 7 months ago
2000
Inconsistencies may arise in the course of specification of systems, and it is now recognised that they cannot be forbidden. Recent work has concentrated on enabling requirements ...
184
click to vote
SAS
2010
Springer
15 years 5 months ago
2010
Springer
We describe Deskcheck, a parametric static analyzer that is able to establish properties of programs that manipulate dynamically allocated memory, arrays, and integers. Deskcheck c...
183
click to vote
VL
2010
IEEE
15 years 5 months ago
2010
IEEE
The principle of causation is fundamental to science and society and has remained an active topic of discourse in philosophy for over two millennia. Modern philosophers often rely...