Sciweavers

4940 search results - page 753 / 988
» On the Complexity of Universal Programs
Sort
View
CPAIOR
2009
Springer
15 years 7 months ago
Max Energy Filtering Algorithm for Discrete Cumulative Resources
Abstract. In scheduling using constraint programming we usually reason only about possible start times and end times of activities and remove those which are recognized as unfeasib...
Petr Vilím
CONSTRAINTS
2008
138views more  CONSTRAINTS 2008»
15 years 6 months ago
Minimization of Locally Defined Submodular Functions by Optimal Soft Arc Consistency
Submodular function minimization is a polynomially-solvable combinatorial problem. Unfortunately the best known general-purpose algorithms have high-order polynomial time complexi...
Martin C. Cooper
COR
2008
105views more  COR 2008»
15 years 6 months ago
Minimizing the object dimensions in circle and sphere packing problems
Given a fixed set of identical or different-sized circular items, the problem we deal with consists on finding the smallest object within which the items can be packed. Circular, ...
Ernesto G. Birgin, F. N. C. Sobral
COR
2008
103views more  COR 2008»
15 years 6 months ago
A tabu search algorithm for structural software testing
This paper presents a tabu search metaheuristic algorithm for the automatic generation of structural software tests. It is a novel work since tabu search is applied to the automat...
Eugenia Díaz, Javier Tuya, Raquel Blanco, J...
CORR
2008
Springer
73views Education» more  CORR 2008»
15 years 6 months ago
On acceptance conditions for membrane systems: characterisations of L and NL
In this paper we investigate the affect of various acceptance conditions on recogniser membrane systems without dissolution. We demonstrate that two particular acceptance conditio...
Niall Murphy, Damien Woods