Sciweavers

2794 search results - page 17 / 559
» A New Architecture for Automated Modelling
Sort
View
CORR
2012
Springer
214views Education» more  CORR 2012»
13 years 6 months ago
Sum-Product Networks: A New Deep Architecture
The key limiting factor in graphical model inference and learning is the complexity of the partition function. We thus ask the question: what are the most general conditions under...
Hoifung Poon, Pedro Domingos
EPS
1995
Springer
15 years 2 months ago
Evolving the Architecture of a Multi-part Program in Genetic Programming Using Architecture-Altering Operations
: This paper describes six new architecture-altering operations that provide a way to dynamically determine the architecture of a multipart program during a run of genetic programm...
John R. Koza
DAC
2003
ACM
16 years 1 days ago
SAT-based unbounded symbolic model checking
Hyeong-Ju Kang, In-Cheol Park
55
Voted
DAC
2004
ACM
16 years 1 days ago
Floorplanning optimization with trajectory piecewise-linear model for pipelined interconnects
Changbo Long, Lucanus J. Simonson, Weiping Liao, L...
61
Voted
DAC
1999
ACM
16 years 1 days ago
Symbolic Model Checking Using SAT Procedures instead of BDDs
Armin Biere, Alessandro Cimatti, Edmund M. Clarke,...