381 search results - page 43 / 77 » Two-Variable Logic with Two Order Relations - (Extended Abst... |
123
click to vote
CIE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The input to a constraint satisfaction problem (CSP) consists of a set of variables, each with a domain, and constraints between these variables formulated by relations o...
IQ
2007
15 years 2 months ago
2007
: Models of the association between input accuracy and output accuracy imply that, for any given application, the effect of input errors on the output error rate generally varies i...
213
click to vote
POPL
2007
ACM
16 years 1 months ago
2007
ACM
This paper is concerned with a programming language construct for typed name binding that enforces -equivalence. It proves a new result about what operations on names can co-exist...
140
click to vote
TPHOL
1999
IEEE
15 years 5 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
IJCNLP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. This paper analyzes the results of automatic concept alignment between two ontologies. We use an iterative algorithm to perform concept alignment. The algorithm uses the ...