1989 search results - page 212 / 398 » Set functions for functional logic programming |
145
click to vote
CVPR
2004
IEEE
16 years 5 months ago
2004
IEEE
In this paper, we propose a novel linear programming based method to estimate arbitrary motion from two images. The proposed method always finds the global optimal solution of the...
116
Voted
SAC
2008
ACM
15 years 3 months ago
2008
ACM
Despite extensive testing in the development phase, residual defects can be a great threat to dependability in the operational phase. This paper studies the utility of lowcost, ge...
125
Voted
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
Adaptive parallel computations--computations that can adapt to changes in resource availability and requirement--can effectively use networked machines because they dynamically ex...
132
Voted
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
In this work, we employed genetic programming to evolve a "white hat" attacker; that is to say, we evolve variants of an attack with the objective of providing better de...
154
Voted
ENTCS
2006
15 years 3 months ago
2006
We describe an automatic complexity analysis mechanism for programs extracted from proofs carried out with the proof assistant Coq. By extraction, we mean the automatic generation...