2767 search results - page 109 / 554 » Universal Exponentiation Algorithm |
192
Voted
CC
2004
Springer
16 years 24 days ago
2004
Springer
We present an algorithm for counting the number of integer solutions to selected free variables of a Presburger formula. We represent the Presburger formula as a deterministic fin...
207
click to vote
IAJIT
2008
15 years 7 months ago
2008
: This paper presents a graph-coloring-based algorithm for the exam scheduling application, with the objective of achieving fairness, accuracy, and optimal exam time period. Throug...
231
click to vote
CHARME
2005
Springer
16 years 29 days ago
2005
Springer
The application of model-checking tools to complex systems involves a nontrivial step of modelling the system by a finite-state model and a translation of the desired properties i...
220
Voted
EUROGP
2003
Springer
16 years 19 days ago
2003
Springer
This paper presents a method of using genetic programming to seek new cellular automata that perform computational tasks. Two genetic algorithms are used : the first one discovers ...
165
Voted
CODES
1996
IEEE
15 years 11 months ago
1996
IEEE
The partitioning of image processing algorithms with a novel hardware/software co-designframework (CoDe-X) is presented in this paper, where a new Xputer-architecture (parallel Ma...