3207 search results - page 396 / 642 » A Semantics for HTN Methods |
176
click to vote
TCS
2002
15 years 6 months ago
2002
oole.stanford.edu/pub/ABSTRACTS Pratt, V.R., "Transition and Cancellation in Concurrency and Branching Time", Math. Structures in Comp. Sci., 13:4, 485-529, August 2003. ...
210
click to vote
ICCS
2010
Springer
15 years 5 months ago
2010
Springer
Although concept maps have been found to be effective in science education research, these are critiqued for being informal due to informal usage of relation and attribute names t...
164
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
158
click to vote
IJCAT
2010
15 years 5 months ago
2010
Abstract: This paper presents a method for semi-automatically building tailored application ontologies from a set of data acquisition forms. Such ontologies are intended to facilit...
175
click to vote
NLE
2010
15 years 4 months ago
2010
Distributional similarity methods have proven to be a valuable tool for the induction of semantic similarity. Up till now, most algorithms use two-way cooccurrence data to compute...