1351 search results - page 37 / 271 » An Analysis of Inference with the Universum |
ESOP
1994
Springer
15 years 1 months ago
1994
Springer
Abstract. We convert, via a version that uses constraints, a type inference system for strictness analysis into an algorithm which given an expression finds the set of possible typ...
FM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
ISBI
2009
IEEE
15 years 4 months ago
2009
IEEE
Probabilistic branching node inference is an important step for analyzing branching patterns involved in many anatomic structures. We propose combining machine learning techniques...
105
click to vote
CONCUR
2006
Springer
15 years 1 months ago
2006
Springer
We extend a previous type system for the -calculus that guarantees deadlock-freedom. The previous type systems for deadlockfreedom either lacked a reasonable type inference algorit...
CVPR
2007
IEEE
15 years 11 months ago
2007
IEEE
We study the challenging problem of maneuvering object tracking with unknown dynamics, i.e., forces or torque. We investigate the underlying causes of object kinematics, and propo...