5671 search results - page 637 / 1135 » A Semantic Approach to Interpolation |
192
click to vote
APLAS
2006
ACM
16 years 1 months ago
2006
ACM
We present a local relational reasoning method for reasoning about contextual equivalence of expressions in a λ-calculus with recursive types and general references. Our developme...
192
click to vote
ICDAR
2005
IEEE
16 years 23 days ago
2005
IEEE
Digital repositories raise the need for an effective and efficient retrieval of the stored material. In this paper we propose the intensive application of intelligent techniques t...
167
click to vote
SKG
2005
IEEE
16 years 22 days ago
2005
IEEE
Currently most centralized RDF storage and query architectures have problems in query performance and scalability. In this paper we present a distributed RDF query architecture to ...
202
click to vote
ICAIL
2005
ACM
16 years 22 days ago
2005
ACM
Computational law is an approach to automated legal reasoning focusing on semantically rich laws, regulations, contract terms, and business rules in the context of electronicallym...
199
click to vote
CIKM
2005
Springer
16 years 21 days ago
2005
Springer
In this paper, we present a “value mapping” algorithm that does not rely on syntactic similarity or semantic interpretation of the values. The algorithm first constructs a st...