1746 search results - page 53 / 350 » A Constructive Semantics for ALC |
120
click to vote
EPIA
1995
Springer
15 years 7 months ago
1995
Springer
This paper describes a method to enhance the performance ofa unification-style bottom-up chart parser by means oftop-down filtering techniques. The filter developed consists of a s...
137
click to vote
ENTCS
2006
15 years 4 months ago
2006
We present a denotational semantics for the hardware compilation language Handel-C that maps language constructs to a set of equations, which describe the structure of the resulti...
133
Voted
JSS
2006
15 years 4 months ago
2006
This paper proposes an approach to automatically generate semantics for scientific e-documents, and presents its applications in e-document understanding, question answering and q...
152
Voted
SOCO
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In a component-based system, connectors are used to compose components. Connectors should have a semantics that makes them simple to construct and use. At the same time, ...
138
click to vote
COLING
1990
15 years 5 months ago
1990
We present here the current prototype of the text understanding system HELENE. The objective of this system is to achieve a deep understanding of small reports dealing with a rest...