484 search results - page 10 / 97 » Structural Symmetry and Model Checking |
153
Voted
SIGGRAPH
2010
ACM
15 years 9 months ago
2010
ACM
In this paper, we address the problem of inverse procedural modeling: Given a piece of exemplar 3D geometry, we would like to find a set of rules that describe objects that are s...
179
click to vote
AAAI
2012
13 years 7 months ago
2012
We consider lifted importance sampling (LIS), a previously proposed approximate inference algorithm for statistical relational learning (SRL) models. LIS achieves substantial vari...
141
click to vote
QEST
2007
IEEE
15 years 11 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
136
click to vote
CEC
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract--A model for intrinsic artificial development is introduced in this paper. The proposed model features a novel mechanism where growth emerges, rather than being triggered ...
136
click to vote
ISQED
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, we propose a generalized block structure-preserving reduced order interconnect macromodeling method (BSPRIM). Our approach extends structure-preserving model order ...