770 search results - page 131 / 154 » Latent Class Models for Algorithm Portfolio Methods |
GRAPHICSINTERFACE
2007
14 years 11 months ago
2007
Material limitations and fabrication costs generally run at odds with the creativity of architectural design, producing a wealth of challenging computational geometry problems. We...
MSWIM
2009
ACM
15 years 4 months ago
2009
ACM
The increasing number of independent IEEE 802.11 WLANs owned and managed by autonomous users has led to increased interference, resulting in performance degradation and unfairness...
B
2007
Springer
15 years 3 months ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
IJCAI
1997
14 years 11 months ago
1997
In this paper, we concentrate on the expressive power of hierarchical structures in neural networks. Recently, the so-called SplitNet model was introduced. It develops a dynamic n...
POPL
2004
ACM
15 years 3 months ago
2004
ACM
The ability to summarize procedures is fundamental to building scalable interprocedural analyses. For sequential programs, procedure summarization is well-understood and used rout...