599 search results - page 76 / 120 » Type System for Specializing Polymorphism |
PEPM
1993
ACM
13 years 11 months ago
1993
ACM
Binding-time analysis is a crucial component of an ofine partial evaluator. The accuracy of the binding-time information that it produces determines the degree of specialization o...
ECCV
2008
Springer
14 years 9 months ago
2008
Springer
Catadioptric cameras are a popular type of omnidirectional imaging system. Their imaging and multi-view geometry has been extensively studied; epipolar geometry for instance, is ge...
ICLP
2009
Springer
14 years 8 months ago
2009
Springer
As a novel, grand AI challenge, General Game Playing is concerned with the development of systems that understand the rules of unknown games and play these games well without human...
QEST
2009
IEEE
14 years 2 months ago
2009
IEEE
—In this paper we consider Quasi-Birth-and-Death (QBD) processes where the upward (resp. downward) transitions are restricted to occur only from (resp. to) a subset of the phase ...
IROS
2006
IEEE
14 years 1 months ago
2006
IEEE
— In this paper we derive theoretical results for the problem of on-line sensor calibration for a mobile robot. We consider the case of the odometry sensor. A first series of re...