Sciweavers

8728 search results - page 198 / 1746
» On Reduct Construction Algorithms
Sort
View
HICSS
1994
IEEE
109views Biometrics» more  HICSS 1994»
15 years 10 months ago
Constructing Distributed Schedulers Using the MESSIAHS Interface Language
The messiahs project is investigating mechanisms that support task placement in heterogeneous, distributed, autonomous systems. messiahs provides a substrate on which scheduling a...
Steve J. Chapin, Eugene H. Spafford
SIAMCOMP
2000
104views more  SIAMCOMP 2000»
15 years 6 months ago
A Near-Tight Lower Bound on the Time Complexity of Distributed Minimum-Weight Spanning Tree Construction
This paper presents a lower bound of (D + n/ log n) on the time required for the distributed construction of a minimum-weight spanning tree (MST) in weighted n-vertex networks of ...
David Peleg, Vitaly Rubinovich
IJCAI
2003
15 years 8 months ago
Efficient Symmetry Breaking for Boolean Satisfiability
Identifying and breaking the symmetries of CNF formulae has been shown to lead to significant reductions in search times. In this paper we describe a more systematic and efficient...
Fadi A. Aloul, Karem A. Sakallah, Igor L. Markov
SCAM
2008
IEEE
16 years 27 days ago
Constructing Subtle Faults Using Higher Order Mutation Testing
Traditional mutation testing considers only first order mutants, created by the injection of a single fault. Often these first order mutants denote trivial faults that are easil...
Yue Jia, Mark Harman
ESA
2000
Springer
110views Algorithms» more  ESA 2000»
15 years 10 months ago
Polygon Decomposition for Efficient Construction of Minkowski Sums
Several algorithms for computing the Minkowski sum of two polygons in the plane begin by decomposing each polygon into convex subpolygons. We examine different methods for decompo...
Pankaj K. Agarwal, Eyal Flato, Dan Halperin