101 search results - page 9 / 21 » Subrecursive functions on partial sequences |
LICS
2007
IEEE
15 years 3 months ago
2007
IEEE
We introduce a computable framework for Lebesgue’s measure and integration theory in the spirit of domain theory. For an effectively given second countable locally compact Hausd...
ICRA
2006
IEEE
15 years 3 months ago
2006
IEEE
— Legged robots can, in principle, traverse a large variety of obstacles and terrains. In this paper, we describe a successful application of reinforcement learning to the proble...
61
Voted
MOC
2000
14 years 9 months ago
2000
Resolutions of cusp singularities are crucial to many techniques in computational number theory, and therefore finding explicit resolutions of these singularities has been the focu...
PAMI
2012
13 years 1 days ago
2012
—We describe an approach for segmenting a moving image into regions that correspond to surfaces in the scene that are partially surrounded by the medium. It integrates both appea...
BMCBI
2005
14 years 9 months ago
2005
Background: The chemical property and biological function of a protein is a direct consequence of its primary structure. Several algorithms have been developed which determine ali...