3207 search results - page 129 / 642 » A Semantics for HTN Methods |
JISE
1998
14 years 9 months ago
1998
straction reduces the number of states necessary to perform formal verification while maintaining the functionality of the original model with respect to ifications to be verified....
CIVR
2010
Springer
15 years 1 months ago
2010
Springer
Popular image retrieval schemes generally rely only on a single mode, (either low level visual features or embedded text) for searching in multimedia databases. Many popular image...
109
click to vote
ESWS
2010
Springer
14 years 8 months ago
2010
Springer
Recent work in Ontology learning and Text mining has mainly focused on engineering methods to solve practical problem. In this thesis, we investigate methods that can substantially...
ERCIMDL
2006
Springer
15 years 1 months ago
2006
Springer
MedSearch1 is a complete retrieval system for Medline, the premier bibliographic database of the U.S. National Library of Medicine (NLM). MedSearch implements SSRM, a novel informa...
BIS
2006
14 years 11 months ago
2006
The problem of the semantics-preserving data transformations during their exchange by e-business applications is addressed. A method for automatic generation of schema mappings is...