1159 search results - page 97 / 232 » Binary Decision Graphs |
170
click to vote
GECCO
2007
Springer
16 years 15 days ago
2007
Springer
This paper presents a highly efficient, fully parallelized implementation of the compact genetic algorithm (cGA) to solve very large scale problems with millions to billions of va...
168
click to vote
LCPC
2007
Springer
16 years 14 days ago
2007
Springer
Binary Decision Diagrams (BDDs) have recently become widely accepted as a space-efficient method of representing relations in points-to analyses. When BDDs are used to represent re...
128
click to vote
WIA
2005
Springer
15 years 11 months ago
2005
Springer
There has been several attempts over the years to solve the bisimulation minimization problem for finite automata. One of the most famous algorithms is the one suggested by Paige ...
196
click to vote
COMPSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we propose an algorithm to construct the Ordered Binary Decision Diagram (OBDD) representing the cut function of a terminal-pair network. The algorithm recognizes i...
157
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract— This paper presents some recent developments of the LAAS architecture for autonomous mobile robots. In particular, we specify the role of the Execution Control level of...