1689 search results - page 225 / 338 » Proximate point searching |
131
click to vote
ICPR
2002
IEEE
16 years 5 months ago
2002
IEEE
This paper describes a method for quickly and robustly localizing the iris and pupil boundaries of a human eye in close-up images. Such an algorithm can be critical for iris ident...
146
click to vote
ISBI
2004
IEEE
16 years 4 months ago
2004
IEEE
High energy traumatic impact of the craniofacial skeleton is an inevitable consequence of today's fast paced society. The work presented in this paper leverages recent advanc...
230
click to vote
POPL
2005
ACM
16 years 4 months ago
2005
ACM
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...
133
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
This paper combines predictive labeling with dependency pairs and reports on its implementation. Our starting point is the method of proving termination of rewrite systems using se...
102
click to vote
MMM
2009
Springer
16 years 1 months ago
2009
Springer
The SenseCam is a wearable camera that automatically takes photos of the wearer’s activities, generating thousands of images per day. Automatically organising these images for eï...