852 search results - page 7 / 171 » Functional Representation of Designs and Redesign Problem So... |
143
Voted
GLVLSI
2002
IEEE
15 years 8 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) ...
120
click to vote
ICDIM
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents a simple, hybrid two phase global optimization algorithm called DE-PSO for solving global optimization problems. DE-PSO consists of alternating phases of Diffe...
142
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
Reinforcement Learning research is traditionally devoted to solve single-task problems. Therefore, anytime a new task is faced, learning must be restarted from scratch. Recently, ...
158
Voted
EAAI
2010
15 years 2 months ago
2010
Aircraft sizing studies consist in determining the main characteristics of an aircraft starting from a set of requirements. These studies can be summarized as global constrained o...
133
Voted
SAT
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We introduce a new conceptual model for representing and designing Stochastic Local Search (SLS) algorithms for the propositional satisfiability problem (SAT). Our model...