Sciweavers

7124 search results - page 299 / 1425
» Programming Languages and Operating Systems
Sort
View
LPNMR
1999
Springer
15 years 11 months ago
Representing Transition Systems by Logic Programs
This paper continues the line of research on representing actions, on the automation of commonsense reasoning and on planning that deals with causal theories and with action langua...
Vladimir Lifschitz, Hudson Turner
IFIP
1994
Springer
15 years 10 months ago
Hidden Safety Requirements in Large-Scale Systems
To avoid hidden safety problems in future large scale systems, we must be able to identify the crucial assumptions underlying the development of their components and to enunciate ...
Carl E. Landwehr
ECEASST
2008
87views more  ECEASST 2008»
15 years 6 months ago
The GP Programming System
Abstract: We describe the programming system for the graph-transformation lan, focusing on the implementation of its compiler and abstract machine. We also compare the system'...
Greg Manning, Detlef Plump
AADEBUG
2005
Springer
16 years 6 days ago
Jockey: a user-space library for record-replay debugging
Jockey is an execution record/replay tool for debugging Linux programs. It records invocations of system calls and CPU instructions with timing-dependent effects and later replays...
Yasushi Saito
EACL
2009
ACL Anthology
16 years 7 months ago
Adaptive Natural Language Interaction
The subject of this demonstration is natural language interaction, focusing on adaptivity and profiling of the dialogue management and the generated output (text and speech). Thes...
Stasinos Konstantopoulos, Athanasios Tegos, Dimitr...