3207 search results - page 253 / 642 » A Semantics for HTN Methods |
133
click to vote
IFM
2000
Springer
15 years 8 months ago
2000
Springer
This paper presents a formal language for the design of component-based enterprise system. The language (StAC) allows the usual parallel and sequential behaviours, but most signifi...
124
click to vote
DLOG
2007
15 years 6 months ago
2007
Abstract. Many activities related to semantically annotated resources can be enabled by a notion of similarity among them. We propose a method for defining a family of semi-distan...
131
click to vote
FMCAD
2008
Springer
15 years 6 months ago
2008
Springer
We present a general approach for verifying safety properties of Lustre programs automatically. Key aspects of the approach are the choice of an expressive first-order logic in wh...
128
click to vote
EMNLP
2007
15 years 6 months ago
2007
We present a domain-independent unsupervised topic segmentation approach based on hybrid document indexing. Lexical chains have been successfully employed to evaluate lexical cohe...
113
click to vote
IJCAI
2007
15 years 5 months ago
2007
Most word sense disambiguation (WSD) methods require large quantities of manually annotated training data and/or do not exploit fully the semantic relations of thesauri. We propos...