7978 search results - page 854 / 1596 » Combining shared-coin algorithms |
238
click to vote
EC
2008
15 years 7 months ago
2008
The development of successful metaheuristic algorithms such as local search for a difficult problems such as satisfiability testing (SAT) is a challenging task. We investigate an ...
174
click to vote
ALGORITHMICA
2006
15 years 7 months ago
2006
: We study the output-sensitive computations of all the combinations of the edges and vertices of a simple polygon P that allow a form closure grasp with less than four point conta...
166
click to vote
CAD
2006
Springer
15 years 7 months ago
2006
Springer
We present a parameter synthesis algorithm for planar, higher pair mechanical systems. The input is a parametric model of a mechanical system (part shapes and configurations) with...
244
click to vote
CL
2007
Springer
15 years 7 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
211
click to vote
CSDA
2007
15 years 7 months ago
2007
A new method for function estimation and variable selection, specifically designed for additive models fitted by cubic splines is proposed.This new method involves regularizing ...