5592 search results - page 179 / 1119 » On Random Betweenness Constraints |
180
click to vote
TAICPART
2010
IEEE
15 years 4 months ago
2010
IEEE
We report on how the Wrangler refactoring tool has been used to improve and transform test code for Erlang systems. This has been achieved through the removal of code clones, the i...
138
click to vote
CP
2004
Springer
15 years 11 months ago
2004
Springer
Cardinality matrix problems are the underlying structure of several real world problems such as rostering, sports scheduling , and timetabling. These are hard computational problem...
150
click to vote
ISSRE
2007
IEEE
15 years 7 months ago
2007
IEEE
Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. In CBT, testing objectives are given und...
195
click to vote
PAMI
2007
15 years 5 months ago
2007
—We present a method for detecting motion regions in video sequences observed by a moving camera in the presence of a strong parallax due to static 3D structures. The proposed me...
173
click to vote
WLP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Meta-S is a constraint solver cooperation system which allows the dynamic integration of arbitrary external (stand-alone) solvers and their combination with declarative l...