15754 search results - page 595 / 3151 » Programs are Knowledge Bases |
211
click to vote
CVPR
2004
IEEE
16 years 9 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...
206
click to vote
IFIP
2004
Springer
16 years 17 days ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
187
click to vote
ISSTA
2006
ACM
16 years 1 months ago
2006
ACM
As the Aspect-Oriented Software Development gains popularity, there is growing interest as developing for existing object-oriented software aspects to address the crosscutting pro...
165
click to vote
ESOP
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We present a separation logic framework which can express properties of memory separation between different points in a program. We describe an algorithm based on this fr...
145
click to vote
BIRTHDAY
2003
Springer
16 years 13 days ago
2003
Springer
Abstract. We present a general methodology for non-deterministic programming based on pure functional programming. We construct families of automata constructions which are used as...