1160 search results - page 154 / 232 » Revisiting the Sequence Constraint |
157
click to vote
ISSRE
2003
IEEE
15 years 11 months ago
2003
IEEE
Use-cases and scenarios have been identified as good inputs to generate test cases and oracles at requirement level. Yet to have an automated generation, information is missing f...
212
click to vote
RR
2009
Springer
15 years 11 months ago
2009
Springer
In this paper we argue the case for integrating the distinctive functionalities of logic programs and production systems within an abductive logic programming agent framework. In t...
152
click to vote
EVOW
2001
Springer
15 years 11 months ago
2001
Springer
This work presents a constructive approach to the process of fixing a sequence of meetings between teachers and students in a prefixed period of time, satisfying a set of constrain...
189
click to vote
ASAP
2000
IEEE
15 years 10 months ago
2000
IEEE
Sorting long sequences of keys is a problem that occurs in many different applications. For embedded systems, a uniprocessor software solution is often not applicable due to the l...
172
click to vote
ICPR
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper, we address the problem of fluid motion estimation in image sequences. For such motions, standard optical flow methods, based on intensity conservation and spatial...