Sciweavers

3348 search results - page 80 / 670
» Around and Around
Sort
View
ENTCS
2007
122views more  ENTCS 2007»
15 years 6 months ago
Plugging a Space Leak with an Arrow
The implementation of conceptually continuous signals in functional reactive programming (FRP) is studied in detail. We show that recursive signals in standard implementations usi...
Hai Liu, Paul Hudak
MSCS
2006
100views more  MSCS 2006»
15 years 6 months ago
Modified bar recursion
Modified bar recursion has been used to give a realizability interpretation of the classical axioms of countable and dependent choice. In this paper we survey the main results con...
Ulrich Berger, Paulo Oliva
PR
2006
131views more  PR 2006»
15 years 6 months ago
A face recognition system based on automatically determined facial fiducial points
In this paper a completely automatic face recognition system is presented. The method works on color images: after having localized the face and the facial features, it determines...
Stefano Arca, Paola Campadelli, Raffaella Lanzarot...
TC
2008
15 years 6 months ago
A Radix-2 Digit-by-Digit Architecture for Cube Root
Abstract-- A radix-2 digit-recurrence algorithm and architecture for the computation of the cube root are presented in this paper. The original recurrence based on the concept of c...
Alex Piñeiro, Javier D. Bruguera, Fabrizio ...
AR
2005
59views more  AR 2005»
15 years 6 months ago
Towards grasping in unstructured environments: grasper compliance and configuration optimization
This paper examines the role of grasper compliance and kinematic configuration in environments where object size and location may not be well known. A grasper consisting of a pair ...
Aaron M. Dollar, Robert D. Howe