5740 search results - page 802 / 1148 » Application of Level Set Methods in Computer Vision |
128
click to vote
AAAI
1990
15 years 8 months ago
1990
Automating proofs by induction is important in many computer science and artificial intelligence applications, in particular in program verification and specification systems. We ...
170
click to vote
ICIAP
2001
Springer
16 years 6 months ago
2001
Springer
In Computer Vision, two-dimensional shape classifcation is a complex and well studied topic, often basic for three-dimensional object recognition. Object contours are a widely cho...
145
click to vote
ICMCS
2007
IEEE
16 years 1 months ago
2007
IEEE
An algorithm is presented that automatically generates groundtruthed video from a symbolic description for an object and a specification for the movement of a handheld video camer...
268
click to vote
ICMCS
2006
IEEE
16 years 25 days ago
2006
IEEE
Human face detection plays an important role in many applications such as video surveillance, face recognition, and face image database management. This paper describes a fast fac...
150
click to vote
ICMCS
2006
IEEE
16 years 25 days ago
2006
IEEE
This paper addresses issues pertaining to the necessity of utilizing formal verification methods in the design of protocols for peer-to-peer multimedia systems. These systems req...