4126 search results - page 390 / 826 » Set based logic programming |
132
click to vote
PASTE
2004
ACM
15 years 10 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
167
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
We present a novel framework based on hidden Markov models (HMMs) for matching feature point sets, which capture the shapes of object contours of interest. Point matching algorith...
215
click to vote
VLDB
2007
ACM
16 years 4 months ago
2007
ACM
In this paper we argue that developing information extraction (IE) programs using Datalog with embedded procedural extraction predicates is a good way to proceed. First, compared ...
172
click to vote
CEC
2011
IEEE
14 years 4 months ago
2011
IEEE
—Constrained Genetic Programming (CGP) is a method of searching the Genetic Programming search space non-uniformly, giving preferences to certain subspaces according to some heur...
120
click to vote
PLDI
2012
ACM
13 years 7 months ago
2012
ACM
When program verification tools fail to verify a program, either the program is buggy or the report is a false alarm. In this situation, the burden is on the user to manually cla...