373 search results - page 49 / 75 » Automatic Generation of Symmetry-Breaking Constraints |
DAC
1996
ACM
14 years 2 months ago
1996
ACM
A novel methodology for circuit design and automatic layout generation is proposed for a class of mixed-signal circuits in presence of layout parasitics and substrate induced nois...
VL
1994
IEEE
14 years 2 months ago
1994
IEEE
Employing diagrams in the UI causes problems that don't exist in so called Graphical User Interfaces. We are implementing a tool for generating editors for a certain class of...
BIRTHDAY
2007
Springer
14 years 2 months ago
2007
Springer
We present a verification methodology for cooperating traffic agents covering analysis of cooperation strategies, realization of strategies through control, and implementation of c...
HUMO
2007
Springer
14 years 1 months ago
2007
Springer
In this paper, we present a 3D registration algorithm based on simulated physical force/moment for articulated human motion tracking. Provided with sparsely reconstructed 3D human ...
AAAI
2000
13 years 11 months ago
2000
A new approach to evolutionary computation, called Learnable Evolution Model (LEM), has been applied to the problem of optimizing tube structures of heat exchangers. In contrast t...