13376 search results - page 341 / 2676 » Problem Solving with |
144
click to vote
GLVLSI
2002
IEEE
15 years 9 months ago
2002
IEEE
As an efficient representation of Extended Finite State Machines, Multiway Decision Graphs (MDG) are suitable for automatic hardware verification of Register Transfer Level (RTL) ...
129
click to vote
CP
2001
Springer
15 years 8 months ago
2001
Springer
In recent years, many works have been carried out to solve over-constrained problems, and more speci cally the Maximal Constraint Satisfaction Problem (Max-CSP), where the goal is ...
146
click to vote
CRYPTO
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. We consider the broadcast exclusion problem: how to transmit a message over a broadcast channel shared by N = 2n users so that all but some specified coalition of k excl...
162
click to vote
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
This paper introduces a function that increases the amount of neutrality (inactive code in Genetic Programming) for the Artificial Ant Problem. The objective of this approach is t...
121
click to vote
SEBD
2008
15 years 5 months ago
2008
Abstract. Model management is a metadata-based approach to database problems aimed at supporting the productivity of developers by providing schema manipulation operators. Here we ...