4513 search results - page 808 / 903 » Logic programming with satisfiability |
137
click to vote
SAC
2005
ACM
15 years 8 months ago
2005
ACM
Regression test prioritization techniques re-order the execution of a test suite in an attempt to ensure that defects are revealed earlier in the test execution phase. In prior wo...
140
click to vote
CIKM
2005
Springer
15 years 8 months ago
2005
Springer
In this paper, we propose a new strategy for optimizing the placement of bin boundaries to minimize the cost of query evaluation using bitmap indices with binning. For attributes ...
103
click to vote
ICALP
1989
Springer
15 years 7 months ago
1989
Springer
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...
103
click to vote
GECCO
2006
Springer
15 years 6 months ago
2006
Springer
Previous research has shown that evolutionary systems not only try to develop solutions that satisfy a fitness requirement, but indirectly attempt to develop genetically robust so...
155
click to vote
ESA
1995
Springer
15 years 6 months ago
1995
Springer
An input to the betweenness problem contains m constraints over n real variables (points). Each constraint consists of three points, where one of the points is specified to lie in...