3909 search results - page 393 / 782 » Extreme Model Checking |
121
Voted
ICIP
2004
IEEE
16 years 6 months ago
2004
IEEE
We present a new model for the extraction of networks from images in the presence of occlusions. Such occlusions cause gaps in the extracted network that need to be closed. Using ...
124
click to vote
ICPR
2004
IEEE
16 years 5 months ago
2004
IEEE
The objectives of the work described in this paper are simply stated: given examples of a particular person and an unlabelled video, we wish to find every instance of that person ...
123
click to vote
MICCAI
2003
Springer
16 years 5 months ago
2003
Springer
We combine a new user initialization process with a B-spline snake to create a model with the properties of a deformable template. This `template' snake can be constrained by ...
140
click to vote
ICML
2007
IEEE
16 years 5 months ago
2007
IEEE
Although semi-supervised learning has been an active area of research, its use in deployed applications is still relatively rare because the methods are often difficult to impleme...
142
Voted
ICSE
2007
IEEE-ACM
16 years 4 months ago
2007
IEEE-ACM
An armada of emerging agile methods of software development (with eXtreme Programming and Scrum being the most broadly used) is both gaining popularity and generating lots of cont...