3207 search results - page 318 / 642 » A Semantics for HTN Methods |
113
Voted
AIED
2005
Springer
15 years 10 months ago
2005
Springer
Language training systems that provide learners adaptive questions on the contents of stories require several capabilities such as semantic analysis, automated question generation ...
167
click to vote
EDBTW
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we propose a method that, given a query submitted to a search engine, suggests a list of related queries. The related queries are based in previously issued queries, ...
124
click to vote
ECOOP
1998
Springer
15 years 9 months ago
1998
Springer
Predicate dispatching generalizes previous method dispatch mechanisms by permitting arbitrary predicates to control method applicability and by using logical implication between pr...
134
click to vote
ZUM
2000
Springer
15 years 8 months ago
2000
Springer
The B-Method is a state-based formal method that describes behaviour in terms of MACHINES whose states change under OPERATIONS. The process algebra CSP is an event-based formalism ...
140
click to vote
ESWS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The paper presents a clustering method which can be applied to populated ontologies for discovering interesting groupings of resources therein. The method exploits a simp...