52 search results - page 7 / 11 » Generalizing the Paige-Tarjan algorithm by abstract interpre... |
ACCV
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We propose an online learning algorithm to tackle the problem of learning under limited computational resources in a teacher-student scenario, over multiple visual cues. ...
DATE
2010
IEEE
14 years 1 months ago
2010
IEEE
Abstract—This paper describes a robust and accurate blackbox macromodeling technique, in which the constitutive equations combine both closed-form delay operators and low-order r...
ICPP
1993
IEEE
14 years 22 days ago
1993
IEEE
Abstract — In MIMD (Multiple Instruction stream, Multiple Data stream) execution, each processor has its own state. Although these states are generally considered to be independe...
CVPR
2003
IEEE
14 years 10 months ago
2003
IEEE
Abstract. We consider the problem of camera selfcalibration, from images of a planar object with unknown Euclidean structure. The general case of possibly varying focal length is a...
POPL
2004
ACM
14 years 9 months ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...