627 search results - page 10 / 126 » Branched Polyhedral Systems |
ECRTS
2004
IEEE
14 years 9 days ago
2004
IEEE
CP
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Most CSP algorithms are based on refinements and extensions of backtracking, and employ one of two simple “branching schemes”: 2-way branching or d-way branching, fo...
CORR
2011
Springer
13 years 10 days ago
2011
Springer
The Macaulay2 package PHCpack.m2 provides an interface to some of the functionality of PHCpack, a general-purpose solver for polynomial systems by homotopy continuation. The main f...
FSTTCS
2009
Springer
14 years 3 months ago
2009
Springer
The covering and boundedness problems for branching vector addition systems are shown complete for doubly-exponential time.
GECCO
2008
Springer
13 years 9 months ago
2008
Springer
In this work a branch prediction system which utilizes evolutionary techniques is introduced. It allows the predictor to adapt to the executed code and thus to improve its perform...