756 search results - page 28 / 152 » Recent progress with BOXES |
118
Voted
EOR
2010
15 years 3 months ago
2010
Continuous GRASP (C-GRASP) is a stochastic local search metaheuristic for finding cost-efficient solutions to continuous global optimization problems subject to box constraints (Hi...
138
Voted
AICOM
2004
15 years 3 months ago
2004
The paper abstracts the contents of a PhD dissertation entitled A Generic, Collaborative Framework for Interval Constraint Solving which has been recently defended. This thesis pre...
134
Voted
JSW
2007
15 years 3 months ago
2007
—Higher-order black box software tests against independent end user domain requirements has become an issue of increasing importance with compositional reuse of software artifact...
162
Voted
ATVA
2007
Springer
15 years 9 months ago
2007
Springer
Automated software verification has made great progress recently, and a key enabler of this progress has been the advances in efficient, automated decision procedures suitable fo...
123
Voted
AMR
2006
Springer
15 years 7 months ago
2006
Springer
In the area of Music Information Retrieval (MIR), great technical progress has been made since this discipline started to mature in the late 1990s. Yet, despite the almost universa...