3207 search results - page 304 / 642 » A Semantics for HTN Methods |
159
click to vote
FUIN
2006
15 years 4 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
136
click to vote
TCSV
2008
15 years 4 months ago
2008
The characterization of a video segment by a digital signature is a fundamental task in video processing. It is necessary for video indexing and retrieval, copyright protection and...
167
click to vote
CIKM
2010
Springer
15 years 3 months ago
2010
Springer
In Latent Semantic Indexing (LSI), a collection of documents is often pre-processed to form a sparse term-document matrix, followed by a computation of a low-rank approximation to...
134
click to vote
SAMT
2009
Springer
15 years 11 months ago
2009
Springer
This paper describes an automatic annotation, or autotagging, algorithm that attaches textual tags to 3D models based on their shape and semantic classes. The proposed method emplo...
154
click to vote
NLDB
2007
Springer
15 years 11 months ago
2007
Springer
Information retrieval needs to match relevant texts with a given query. Selecting appropriate parts is useful when documents are long, and only portions are interesting to the user...