3573 search results - page 166 / 715 » Reasoning about Codata |
115
Voted
ICALT
2003
IEEE
15 years 8 months ago
2003
IEEE
In this contribution we present the dialogue generator module of a Dialogue-based Interactive Diagnostic and Learning System (DIDLS) for Historical Text Comprehension (HTC). The d...
117
click to vote
ESOP
2003
Springer
15 years 8 months ago
2003
Springer
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...
133
click to vote
IPPS
2002
IEEE
15 years 8 months ago
2002
IEEE
A natural trend in most of the engineering disciplines is the construction of systems from components. This has the potential to reduce costs and increase reliability, provided th...
92
Voted
ICCAD
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper presents a new solution for combining technology mapping with placement, coupling the two into one phase. The original aspects of our work are the use of libraryless ma...
147
Voted
EUROCAST
2007
Springer
15 years 7 months ago
2007
Springer
In this paper we introduce an extension of Equilibrium Logic (a logical characterisation of the Answer Set Semantics for logic programs) consisting in the inclusion of modal tempor...