9626 search results - page 341 / 1926 » Invariant Based Programming |
190
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
Dynamic programming on a scanline is one of the oldest and still popular methods for stereo correspondence. While efficient, its performance is far from the state of the art becau...
197
click to vote
ANOR
2002
15 years 6 months ago
2002
The Airline Crew Assignment Problem (ACA) consists of assigning lines of work to a set of crew members such that a set of activities is partitioned and the costs for that assignmen...
178
click to vote
SIGCSE
2010
ACM
16 years 1 months ago
2010
ACM
Programming exercise assessment tools alleviate the task of teachers, and increase consistency of markings. Many programming exercise assessment tools are based on testing. A test...
224
click to vote
WCFLP
2005
ACM
16 years 6 days ago
2005
ACM
Program slicing is a well-known technique that extracts from a program those statements which are relevant to a particular criterion. While static slicing does not consider any in...
159
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
hex programs were originally introduced as a general framework for extending declarative logic programming, under the stable model semantics, with the possibility of bidirectional...