7326 search results - page 1184 / 1466 » Methods for modalities 3 |
189
click to vote
AMR
2005
Springer
16 years 7 days ago
2005
Springer
The XML language is a W3C standard sustained by both the industry and the scientific community. Therefore, the available information annotated in XML keeps and will keep increasing...
247
click to vote
CHARME
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
175
click to vote
CIKM
2005
Springer
16 years 7 days ago
2005
Springer
A framework for describing semantic relationships among nodes in XML documents is presented. In contrast to earlier work, the XML documents may have ID references (i.e., they corr...
165
click to vote
CIKM
2005
Springer
16 years 7 days ago
2005
Springer
We study suitable indexing techniques to support efficient exact match search in large biological sequence databases. We propose a suffix tree (ST) representation, called STA-DF, ...
198
click to vote
DAGM
2005
Springer
16 years 7 days ago
2005
Springer
A histogram-based method for the interpretation of three-dimensional (3D) point clouds is introduced, where point clouds represent the surface of a scene of multiple objects and ba...