663 search results - page 64 / 133 » Retrieving Objects Using Local Integral Invariants |
FM
2009
Springer
14 years 3 months ago
2009
Springer
Verification methods for memory-manipulating C programs need to address not only well-typed programs that respect invariants such as the split heap memory model, but also programs...
ICPR
2008
IEEE
14 years 10 months ago
2008
IEEE
The calculation of local features at points of interest is a vital part of many current image retrieval and object detection systems. The wavelet-based interest point detector by ...
COOPIS
2004
IEEE
14 years 1 months ago
2004
IEEE
This paper presents a framework for building an ontology to provide semantic interpretations in image contents. The novelty of this framework comes from building a MPEG-7 ontology ...
BMCBI
2006
13 years 9 months ago
2006
Background: A structure alignment method based on a local geometric property is presented and its performance is tested in pairwise and multiple structure alignments. In this appr...
JUCS
2010
13 years 4 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...