Sciweavers

1998 search results - page 55 / 400
» Situated Control Rules
Sort
View
EACL
1989
ACL Anthology
15 years 5 months ago
Dialog Control in a Natural Language System
In this paper a method for controlling the dialog in a natural language (NL) system is presented. It provides a deep modeling of information processing based on time dependent pro...
Michael Gerlach, Helmut Horacek
SCP
2002
98views more  SCP 2002»
15 years 3 months ago
Reasoning about real-time repetitions: terminating and nonterminating
It is common for a real-time system to contain a nonterminating process monitoring an input and controlling an output. Hence, a real-time program development method needs to suppo...
Ian J. Hayes
124
Voted
KR
2010
Springer
15 years 8 months ago
A Logical Understanding of Legal Interpretation
If compliance with a norm does not achieve its purpose, then its applicability must dynamically be restricted or expanded. Legal interpretation is a mechanism from law allowing no...
Guido Boella, Guido Governatori, Antonino Rotolo, ...
ECOOP
1995
Springer
15 years 7 months ago
Interface-Based Protocol Specification of Open Systems using PSL
PSL is a framework for describing dynamic and architectural properties of open systems. PSL extends established interface-based tactics for describing the functional properties of...
Doug Lea, Jos Marlowe
98
Voted
DAC
2002
ACM
16 years 4 months ago
Transformation rules for designing CNOT-based quantum circuits
This paper gives a simple but nontrivial set of local transformation rules for Control-NOT(CNOT)-based combinatorial circuits. It is shown that this rule set is complete, namely, ...
Kazuo Iwama, Yahiko Kambayashi, Shigeru Yamashita