4126 search results - page 403 / 826 » Set based logic programming |
146
Voted
IPMI
2007
Springer
16 years 5 months ago
2007
Springer
In this paper we propose a novel non-rigid volume registration based on discrete labeling and linear programming. The proposed framework reformulates registration as a minimal path...
132
Voted
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Complex software programs are mostly characterized by phase behavior and runtime distributions. Due to the dynamism of the two characteristics, it is not efficient to m...
129
Voted
ICSE
2007
IEEE-ACM
15 years 10 months ago
2007
IEEE-ACM
Mapping code elements in one version of a program to corresponding code elements in another version is a fundamental building block for many software engineering tools. Existing t...
154
click to vote
ICSM
2000
IEEE
15 years 9 months ago
2000
IEEE
Conditioned slicing is a powerful generalisation of static and dynamic slicing which has applications to many problems in software maintenance and evolution, including re-use, ree...
141
click to vote
AIPS
2007
15 years 6 months ago
2007
We consider the problem of finding an n-agent jointpolicy for the optimal finite-horizon control of a decentralized Pomdp (Dec-Pomdp). This is a problem of very high complexity ...