4067 search results - page 312 / 814 » Programs for Applying Symmetries |
196
click to vote
MM
2005
ACM
16 years 10 days ago
2005
ACM
To locate a video clip in large collections is very important for retrieval applications, especially for digital rights management. In this paper, we present a novel technique for...
174
click to vote
ICLP
2005
Springer
16 years 9 days ago
2005
Springer
Any finite tree automaton (or regular type) can be used to construct act interpretation of a logic program, by first determinising and completing the automaton to get a pre-inter...
193
click to vote
LPNMR
2005
Springer
16 years 8 days ago
2005
Springer
Equilibrium logic, introduced by David Pearce, extends the concept of an answer set from logic programs to arbitrary sets of formulas. Logic programs correspond to the special case...
201
click to vote
SPIN
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...
161
click to vote
ADAEUROPE
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Programmable logic devices (PLDs) are now common components of safety-critical systems, and are increasingly used for safetyrelated or safety-critical functionality. Rece...