3116 search results - page 363 / 624 » Positively dependent types |
146
click to vote
FDTC
2006
Springer
15 years 10 months ago
2006
Springer
We present a scheme for robust multi-precision arithmetic over the positive integers, protected by a novel family of non-linear arithmetic residue codes. These codes have a very hi...
169
Voted
ECCV
2010
Springer
15 years 10 months ago
2010
Springer
Patch descriptors are used for a variety of tasks ranging from finding corresponding points across images, to describing object category parts. In this paper, we propose an image ...
298
click to vote
MICCAI
2000
Springer
15 years 10 months ago
2000
Springer
This paper is focused on the use of the level set formalism to segment anatomical structures in 3D images (ultrasound ou magnetic resonance images). A closed 3D surface propagates...
171
click to vote
ISCAS
1995
IEEE
15 years 10 months ago
1995
IEEE
Embryological electronics or “Embryonics” is a new paradigm for developing digital systems of any complexity, endowed of universal computation, self-repair and self-reproducti...
163
click to vote
AAAI
2007
15 years 9 months ago
2007
This paper presents a formalism to describe practical reasoning in terms of an Action-based Alternating Transition System (AATS). The starting point is a previously specified acc...