756 search results - page 28 / 152 » Recent progress with BOXES |
EOR
2010
14 years 10 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...
AICOM
2004
14 years 9 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...
JSW
2007
14 years 9 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...
109
click to vote
ATVA
2007
Springer
15 years 4 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...
AMR
2006
Springer
15 years 1 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...