10051 search results - page 184 / 2011 » A Dynamic Separator Algorithm |
291
click to vote
POPL
2002
ACM
16 years 5 months ago
2002
ACM
In this paper we propose a scheme that combines type inference and run-time checking to make existing C programs type safe. We describe the CCured type system, which extends that ...
135
click to vote
VLDB
2007
ACM
15 years 11 months ago
2007
ACM
GridVine is a Peer Data Management System based on a decentralized access structure. Built following the principle of data independence, it separates a logical layer – where dat...
126
click to vote
ROBIO
2006
IEEE
15 years 11 months ago
2006
IEEE
— Humanoid robots are highly redundant systems with respect to the tasks they are asked to perform. This redundancy manifests itself in the number of degrees of freedom of the ro...
135
click to vote
ICCV
2005
IEEE
15 years 10 months ago
2005
IEEE
The space of images is known to be a non-linear subspace that is difficult to model. This paper derives an algorithm that walks within this space. We seek a manifold through the ...
151
click to vote
ICIAP
2005
ACM
15 years 10 months ago
2005
ACM
Abstract. Fingerprints are one of the most used biometrics for automatic personal authentication. Unfortunately, it is often difficult to design fingerprint matchers exhibiting th...