2398 search results - page 302 / 480 » Constraint Programming and Graph Algorithms |
138
click to vote
ICPR
2006
IEEE
16 years 10 days ago
2006
IEEE
Image registration is the process of geometrically aligning
two or more images. In this paper we describe a method
for registering pairs of images based on thin-plate spline
map...
137
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
Programs trusted with secure information should not release that information in ways contrary to system policy. However, when a program contains an illegal flow of information, cu...
153
click to vote
FM
2009
Springer
15 years 11 months ago
2009
Springer
The problem of enforcing bounded-time 2-phase recovery in real-time programs is often necessitated by conflict between faulttolerance requirements and timing constraints. In this ...
182
Voted
ICPP
1999
IEEE
15 years 10 months ago
1999
IEEE
There has been much work recently on improving the locality performance of loop nests in scientific programs through the use of loop as well as data layout optimizations. However,...
167
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
This paper describes Juzi, a tool for automatic repair of complex data structures. Juzi takes a Java class representing the data structure as well as a predicate method that speci...