3066 search results - page 65 / 614 » On Facilitating Automated Evaluation |
NLPRS
2001
Springer
14 years 7 days ago
2001
Springer
Proposals for text classification and information retrieval have been recently presented making use of the WordNet ontology. Generally, this methodology requires statistical induc...
DL
2000
Springer
14 years 4 days ago
2000
Springer
We implemented a web server for acronym and abbreviation lookup, containing a collection of acronyms and their expansions gathered from a large number of web pages by a heuristic ...
AISC
2004
Springer
13 years 11 months ago
2004
Springer
While implementing a proof for the Basic Perturbation Lemma (a central result in Homological Algebra) in the theorem prover Isabelle one faces problems such as the implementation o...
AIPS
2006
13 years 9 months ago
2006
Composition of stateful web services expressed in BPEL4WS can be recasted as a problem of planning in asynchronous domains. In (PTB05), this is pursued by encoding the asynchronou...
FLAIRS
1998
13 years 9 months ago
1998
Automatedplanning within the scope of middle level echelondecision makingprocessesis beginningto receive increasedresearchattentionin an attemptto reducethe size of the supportsta...