3311 search results - page 257 / 663 » Deductive Object Programming |
114
Voted
EPIA
1999
Springer
15 years 6 months ago
1999
Springer
In this paper we propose a hybrid system that bridges the gap between traditional image processing methods, used for low-level object recognition, and abductive constraint logic pr...
137
click to vote
IWMM
2010
Springer
15 years 4 months ago
2010
Springer
The accurate prediction of program's memory requirements is a critical component in software development. Existing heap space analyses either do not take deallocation into ac...
169
click to vote
BMCBI
2011
14 years 9 months ago
2011
Background: It is difficult to accurately interpret chromosomal correspondences such as true orthology and paralogy due to significant divergence of genomes from a common ancestor...
133
Voted
ISPD
2004
ACM
15 years 8 months ago
2004
ACM
VLSI placement tools usually work in two steps: First, the cells that have to be placed are roughly spread out over the chip area ignoring disjointness (global placement). Then, i...
114
Voted
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...