Sciweavers

307 search results - page 28 / 62
» On Equations over Sets of Integers
Sort
View
GECCO
2005
Springer
131views Optimization» more  GECCO 2005»
14 years 1 months ago
Evolutionary optimization of dynamic control problems accelerated by progressive step reduction
In this paper, we describe the use of an evolutionary algorithm (EA) to solve dynamic control optimization problems in engineering. In this class of problems, a set of control var...
Q. Tuan Pham
CORR
1998
Springer
105views Education» more  CORR 1998»
13 years 7 months ago
Solving Degenerate Sparse Polynomial Systems Faster
Abstract. Consider a system F of n polynomial equations in n unknowns, over an algebraically closed field of arbitrary characteristic. We present a fast method to find a point in...
J. Maurice Rojas
MEDBIOMETRICS
2010
13 years 6 months ago
A DIAMOND Method for Classifying Biological Data
This study proposes an effective method called DIAMOND to classify biological and medical data. Given a set of objects with some classes, DIAMOND separates the objects into differe...
Han-Lin Li, Yao-Huei Huang, Ming-Hsien Chen
ISPAN
2002
IEEE
14 years 13 days ago
Automatic Processor Lower Bound Formulas for Array Computations
In the directed acyclic graph (dag) model of algorithms, consider the following problem for precedence-constrained multiprocessor schedules for array computations: Given a sequenc...
Peter R. Cappello, Ömer Egecioglu
TCS
2008
13 years 7 months ago
Verification of qualitative Z constraints
We introduce an LTL-like logic with atomic formulae built over a constraint language interpreting variables in Z. The constraint language includes periodicity constraints, comparis...
Stéphane Demri, Régis Gascon