1350 search results - page 107 / 270 » Reasoning about Staged Computation |
151
click to vote
EWCBR
2006
Springer
15 years 9 months ago
2006
Springer
In this paper we present TransUCP, a general framework for transformational analogy. Using our framework we demonstrate that transformational analogy does not meet a crucial condit...
127
click to vote
CSL
2008
Springer
15 years 7 months ago
2008
Springer
Interval logics are an important area of computer science. Although attention has been mainly focused on unary operators, an early work by Venema (1991) introduced an expressively ...
147
click to vote
LREC
2008
15 years 6 months ago
2008
This paper describes the development of a written corpus of argumentative reasoning. Arguments in the corpus have been analysed using state of the art techniques from argumentatio...
147
click to vote
GIS
2006
ACM
15 years 5 months ago
2006
ACM
The paper is written jointly by two parties, computer scientists specializing in geovisualization and experts in forestry, who cooperated within a joint project. The authors tell ...
180
click to vote
COMPSAC
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper, we propose an algorithm to construct the Ordered Binary Decision Diagram (OBDD) representing the cut function of a terminal-pair network. The algorithm recognizes i...