65 search results - page 10 / 13 » The Fixed Point Property in Synthetic Domain Theory |
137
click to vote
CORR
2011
Springer
14 years 3 months ago
2011
Springer
Contemporary use of the term ’intension’ derives from the traditional logical Frege-Russell’s doctrine that an idea (logic formula) has both an extension and an intension. Al...
194
click to vote
POPL
2005
ACM
15 years 12 months ago
2005
ACM
Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynami...
ROBOTICA
2002
14 years 11 months ago
2002
: This paper presents an adaptation of Lowe's numerical model-based camera localisation algorithm to the domain of indoor mobile robotics. While the original method is straigh...
115
click to vote
CVPR
2009
IEEE
15 years 5 months ago
2009
IEEE
We present a new shape-from-distortion framework for recovering specular (reflective/refractive) surfaces. While most existing approaches rely on accurate correspondences between 2...
DCC
2005
IEEE
15 years 11 months ago
2005
IEEE
Functions which map n-bits to m-bits are important cryptographic sub-primitives in the design of additive stream ciphers. We construct highly nonlinear t-resilient such functions (...