2586 search results - page 121 / 518 » Automatic Abstraction for Congruences |
102
click to vote
ESOP
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Cost analysis of Java bytecode is complicated by its unstructured control flow, the use of an operand stack and its object-oriented programming features (like dynamic di...
DAGM
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. This paper addresses robust automatic orientation, calibration, and disparity estimation for generating visualizations from image triplets. Here, robust means, that meani...
FIDJI
2004
Springer
15 years 1 months ago
2004
Springer
Our paper aims at proposing a framework that allows programmers to exploit the benefits of exception handling throughout the entire development Java programs by modeling exception ...
100
click to vote
ECML
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. This paper studies a Bayesian framework for density modeling with mixture of exponential family distributions. Variational Bayesian Dirichlet-Multinomial allocation (VBDM...
FAC
2008
14 years 10 months ago
2008
A development of the Mondex system was undertaken using Event-B and its associated proof tools. mental approach was used whereby the refinement between the abstract specification o...