139 search results - page 24 / 28 » Model Checking Graph Transformations: A Comparison of Two Ap... |
SIGMOD
2010
ACM
14 years 1 months ago
2010
ACM
Mining graph patterns in large networks is critical to a variety of applications such as malware detection and biological module discovery. However, frequent subgraphs are often i...
ICCV
2009
IEEE
13 years 6 months ago
2009
IEEE
This paper revisits the classical problem of detecting interest points, popularly known as "corners," in 2D images by proposing a technique based on fitting algebraic sh...
IROS
2006
IEEE
14 years 2 months ago
2006
IEEE
Model-based recognition of an object typically involves matching dense 3D range data. The computational cost is directly affected by the amount of data of which a transformation n...
BMCBI
2004
13 years 8 months ago
2004
Background: An important challenge for transcript counting methods such as Serial Analysis of Gene Expression (SAGE), "Digital Northern" or Massively Parallel Signature ...
FSTTCS
2009
Springer
14 years 3 months ago
2009
Springer
The paper focuses on the structure of fundamental sequences of ordinals smaller than ε0. A first result is the construction of a monadic second-order formula identifying a given ...