3207 search results - page 296 / 642 » A Semantics for HTN Methods |
142
click to vote
FM
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents the formal verification of a compiler front-end that translates a subset of the C language into the Cminor intermediate language. The semantics of the source an...
132
click to vote
FMCAD
2008
Springer
15 years 6 months ago
2008
Springer
Synchronous Data flow (SDF) graphs have a simple and elegant semantics (essentially linear algebra) which makes SDF graphs eminently suitable as a vehicle for studying scheduling o...
115
click to vote
ACL
2008
15 years 6 months ago
2008
The omnipresence of unknown words is a problem that any NLP component needs to address in some form. While there exist many established techniques for dealing with unknown words i...
124
click to vote
ACL
2006
15 years 6 months ago
2006
We investigate the unsupervised detection of semi-fixed cue phrases such as "This paper proposes a novel approach. . . 1" from unseen text, on the basis of only a handfu...
142
click to vote
FOIS
2006
15 years 6 months ago
2006
In this paper we present methods to generate a Description Logic (DL) theory from a given First Order Logic (FOL) theory, such that each DL axiom is entailed by the given FOL theor...