1113 search results - page 1 / 223 » Automated Approaches for Classifying Structures |
KDD
2002
ACM
14 years 5 months ago
2002
ACM
AISC
2004
Springer
13 years 8 months ago
2004
Springer
While implementing a proof for the Basic Perturbation Lemma (a central result in Homological Algebra) in the theorem prover Isabelle one faces problems such as the implementation o...
ICPR
2004
IEEE
14 years 6 months ago
2004
IEEE
The automated detection and tracking of humans in computer vision necessitates improved modeling of the human skin appearance. In this paper we propose a Bayesian network approach...
ESWA
2008
13 years 5 months ago
2008
In sewage rehabilitation planning, closed circuit television (CCTV) systems are the widely used inspection tools in assessing sewage structural conditions for non man entry pipes....
GIS
2002
ACM
13 years 4 months ago
2002
ACM
