Sciweavers

3793 search results - page 579 / 759
» Expressive Description Logics
Sort
View
SEMCO
2007
IEEE
16 years 23 days ago
Modeling Discriminative Global Inference
Many recent advances in complex domains such as Natural Language Processing (NLP) have taken a discriminative approach in conjunction with the global application of structural and...
Nicholas Rizzolo, Dan Roth
VL
2007
IEEE
157views Visual Languages» more  VL 2007»
16 years 23 days ago
Spider Diagrams of Order
Spider diagrams are a visual logic capable of makeing statements about relationships between sets and their cardinalities. Various meta-level results for spider diagrams have been...
Aidan Delaney, Gem Stapleton
BTW
2007
Springer
164views Database» more  BTW 2007»
16 years 20 days ago
Integrating Structural Joins into a Tuple-Based XPath Algebra
: Over the recent years, very little effort has been made to give XPath a proper algebraic treatment. The only laudable exception is the Natix Algebra (NAL) which defines the tran...
Christian Mathis
CIKM
2007
Springer
16 years 20 days ago
Conceptual modeling by analogy and metaphor
Metaphor is not merely a rhetorical device, characteristic of language alone, but rather a fundamental feature of the human conceptual system. A metaphor is understood by finding ...
Karin Koogan Breitman, Simone Diniz Junqueira Barb...
FOSSACS
2007
Springer
16 years 19 days ago
Polynomial Constraints for Sets with Cardinality Bounds
Abstract. Logics that can reason about sets and their cardinality bounds are useful in program analysis, program verification, databases, and knowledge bases. This paper presents ...
Bruno Marnette, Viktor Kuncak, Martin C. Rinard