648 search results - page 59 / 130 » Using Criticalities as a Heuristic for Answer Set Programmin... |
112
click to vote
ISPAN
2002
IEEE
15 years 6 months ago
2002
IEEE
Many applications written in C allocate memory blocks for their major data structures from the heap space at runtime. The analysis of heap-oriented pointers in such programs is cr...
128
click to vote
CI
2004
15 years 1 months ago
2004
This paper shows how action theories, expressed in an extended version of the language B, can be naturally encoded using Prioritized Default Theory. We also show how prioritized d...
135
click to vote
ICASSP
2010
IEEE
15 years 1 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...
ITICSE
2004
ACM
15 years 6 months ago
2004
ACM
Keeping students alert and responsive during lectures is a challenge even for experienced teachers in small group settings. Research has shown the importance of student participat...
ESEM
2009
ACM
15 years 4 months ago
2009
ACM
The goal of this work is to visualize inheritance in objectoriented programs to help its comprehension. We propose a single, compact view of all class hierarchies at once using a ...