578 search results - page 27 / 116 » A Logic Programming Based Approach to QA@CLEF05 Track |
139
click to vote
SAS
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the omission of t...
141
click to vote
INFOCOM
2003
IEEE
15 years 9 months ago
2003
IEEE
—In this paper, we formulate an optimization problem for the design of light-tree based logical topology in Wavelength Division Multiplexing (WDM) networks. The problem is compri...
132
click to vote
ICSM
1998
IEEE
15 years 8 months ago
1998
IEEE
Code-based metrics such as coupling and cohesion are used to measure a system's structural complexity. But dealing with large systems--those consisting of several millions of...
145
click to vote
ICALP
2001
Springer
15 years 8 months ago
2001
Springer
We present a logical framework Υ for reasoning on a very general class of languages featuring binding operators, called nominal , presented in higher-order abstract syntax (HOAS)....
125
click to vote
SEMWEB
2009
Springer
15 years 10 months ago
2009
Springer
Traditional object-oriented programming languages can be difficult to use when working with ontologies, leading to the creation of domain-specific languages designed specifically...