1176 search results - page 147 / 236 » Implicit Abstraction Heuristics |
CC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Recent work has shown that the subtasks of register allocation (spilling, register assignment, and coalescing) can be completely separated. This work presents an algorith...
83
Voted
DAGM
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We consider the problem of simultaneously registering several images to a 3D model. We propose a global approach based on mutual information that extends previous methods...
88
Voted
ECOWS
2007
Springer
15 years 6 months ago
2007
Springer
BPEL has emerged as the industrial standard language for modelling behavioral aspects of web services. To support business partners in dynamically and flexibly binding their serv...
85
Voted
KI
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We compare three systems for the task of synthesising functional recursive programs, namely Adate, an approach through evolutionary computation, the classification learn...
108
click to vote
LION
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In 1965 Motzkin and Straus established a remarkable connection between the local/global maximizers of the Lagrangian of a graph G over the standard simplex ∆ and the ma...