674 search results - page 17 / 135 » From Constructibility and Absoluteness to Computability and ... |
129
click to vote
SCCC
2008
IEEE
15 years 6 months ago
2008
IEEE
Domain-Specific Languages (DSLs) are high level languages defined for combining expressivity and simplicity by means of constructs which are close to the problem domain and distan...
108
click to vote
ECCV
2002
Springer
16 years 1 months ago
2002
Springer
In central catadioptric systems, lines in a scene are projected to conic curves in the image. This work studies the geometry of the central catadioptric projection of lines and its...
GMP
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract. We present an approach for robust shape retrieval from databases containing articulated 3D shapes. We represent each shape by the eigenvectors of an appropriately define...
EUROCRYPT
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Physical computational devices leak side-channel information that may, and often does, reveal secret internal states. We present a general transformation that compiles an...
ENTCS
2008
14 years 11 months ago
2008
: A finite-time computable function is a partial function from to whose value is constructed by concatenating a finite list with a suffix of the argument. A finite-time computabili...