1113 search results - page 50 / 223 » Automated Approaches for Classifying Structures |
110
click to vote
MMNS
2004
15 years 4 months ago
2004
Due to the significant development of network services in the past few years, their validation has become increasingly difficult. The advent of novel approaches to the issue of val...
142
click to vote
CADE
2010
Springer
15 years 4 months ago
2010
Springer
In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction axioms from the definitions of terminating, recursiv...
131
click to vote
WWW
2008
ACM
16 years 4 months ago
2008
ACM
Hierarchical topic taxonomies have proliferated on the World Wide Web [5, 18], and exploiting the output space decompositions they induce in automated classification systems is an...
133
click to vote
ICMCS
2005
IEEE
15 years 9 months ago
2005
IEEE
Computer vision and pattern recognition systems play an important role in our lives by means of automated face detection, face and gesture recognition, and estimation of gender an...
129
Voted
MICCAI
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We present a novel approach to fully automated reconstruction of tree structures in noisy 2D images. Unlike in earlier approaches, we explicitly handle crossovers and bif...