648 search results - page 65 / 130 » Using Criticalities as a Heuristic for Answer Set Programmin... |
136
click to vote
DAGSTUHL
2006
15 years 2 months ago
2006
Abstract. "Cognitive computer vision is concerned with integration and control of vision systems using explicit but not necessarily symbolic models of context, situation and g...
108
click to vote
DIMVA
2004
15 years 2 months ago
2004
: A method to heuristically construct an isomorphism between the sets of functions in two similar but differing versions of the same executable file is presented. Such an isomorphi...
150
click to vote
PLDI
2011
ACM
14 years 4 months ago
2011
ACM
MATLAB is an array language, initially popular for rapid prototyping, but is now being increasingly used to develop production code for numerical and scientific applications. Typ...
121
click to vote
ICALP
1995
Springer
15 years 5 months ago
1995
Springer
An infinite binary sequence x is defined to be (i) strongly useful if there is a computable time bound within which every decidable sequence is Turing reducible to x; and (ii) w...
VMCAI
2007
Springer
15 years 7 months ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...