1539 search results - page 183 / 308 » Is it time for real-time functional programming |
153
click to vote
CVPR
2004
IEEE
16 years 6 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...
162
click to vote
PEPM
1992
ACM
15 years 8 months ago
1992
ACM
A partial evaluator is an automatic program transformation tool. Given as input a general program and part of its input, it can produce a specialized version. If the partial evalu...
120
click to vote
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...
122
click to vote
PAMI
2006
15 years 3 months ago
2006
A binary linear programming formulation of the graph edit distance for unweighted, undirected graphs with vertex attributes is derived and applied to a graph recognition problem. ...
152
click to vote
AADEBUG
2005
Springer
15 years 9 months ago
2005
Springer
A complex software system may perform many program tasks during execution to provide the required functionalities. To detect and localize bugs related to the implementation of the...