2067 search results - page 292 / 414 » Logics of propositional control |
166
click to vote
FTCS
1994
15 years 7 months ago
1994
This paper examines architectural techniques for providing concurrent error detection in self-timed VLSI pipelines. Signal pairs from Differential Cascode Voltage Switch Logic are...
167
click to vote
ACL
1990
15 years 7 months ago
1990
A user may typically need to combine the strengths of more than one system in order to perform a task. In this paper, we describe a component of the Janus natural language interfa...
193
click to vote
ENTCS
2007
15 years 6 months ago
2007
The flow logic approach to static analysis amounts to specifying the admissibility of solutions to analysis problems; when specified using formulae in stratified alternation-fr...
158
click to vote
KI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Unlike people, household robots cannot rely on commonsense knowledge when accomplishing everyday tasks. We believe that this is one of the reasons why they perform poorly...
183
click to vote
FUIN
2010
15 years 3 months ago
2010
This paper explores the use of Constraint Logic Programming (CLP) as a platform for experimenting with planning problems in the presence of multiple interacting agents. The paper ...