792 search results - page 117 / 159 » Constrained Ramsey Numbers |
109
Voted
CAD
2008
Springer
15 years 24 days ago
2008
Springer
Detecting approximate symmetries of parts of a model is important when attempting to determine the geometric design intent of approximate boundary-representation (B-rep) solid mod...
124
click to vote
CORR
2008
Springer
15 years 23 days ago
2008
Springer
Support vector machines (SVMs) are an extremely successful type of classification and regression algorithms. Building an SVM entails solving a constrained convex quadratic program...
97
Voted
CPHYSICS
2008
15 years 23 days ago
2008
Abstract. Neutrino telescopes are opening new opportunities in observational high energy astrophysics. In these detectors, atmospheric muons from primary cosmic ray interactions in...
94
Voted
AI
2006
Springer
15 years 23 days ago
2006
Springer
Finite-domain constraint programming has been used with great success to tackle a wide variety of combinatorial problems in industry and academia. To apply finite-domain constrain...
ENTCS
2008
15 years 23 days ago
2008
Most well-known algorithms for equational solving are based on quantifier elimination. This technique iteratively eliminates the innermost block of existential/universal quantifie...