2920 search results - page 222 / 584 » Finite information logic |
198
click to vote
ERCIMDL
2007
Springer
16 years 25 days ago
2007
Springer
Annotations are an important part in today’s digital libraries and Web information systems as an instrument for interactive knowledge creation. Annotation-based document retrieva...
168
click to vote
FLOPS
2004
Springer
16 years 1 days ago
2004
Springer
We present a graphical tool for the declarative debugging of wrong answers in functional-logic languages. The tool, integrated in the system T OY, can be used to navigate a computa...
184
click to vote
INTEROP
1999
Springer
15 years 11 months ago
1999
Springer
For data to be successfully integrated, semantically similar database elements must be identified as candidates for merging. However, there may be significant differences between ...
156
click to vote
ACL
1998
15 years 8 months ago
1998
This paper proposes a method for generating a logicalconstraint-based internal representation from a unification grammar formalism with disjunctive information. Unification gramma...
173
click to vote
IANDC
2006
15 years 6 months ago
2006
We study several algebras of graphs and hypergraphs and the corresponding notions of equational sets and recognizable sets. We generalize and unify several existing results which ...