1981 search results - page 111 / 397 » Model-Checking Hierarchical Structures |
152
click to vote
BMCBI
2011
14 years 9 months ago
2011
Background: In rule-based modeling, graphs are used to represent molecules: a colored vertex represents a component of a molecule, a vertex attribute represents the internal state...
141
click to vote
TCC
2004
Springer
15 years 7 months ago
2004
Springer
We consider the problem of threshold secret sharing in groups with hierarchical structure. In such settings, the secret is shared among a group of participants that is partitioned ...
134
click to vote
EDUTAINMENT
2007
Springer
15 years 6 months ago
2007
Springer
High compression of plant geometry is an important aspect in fast realistic visualization of plants. Hierarchical structuring plant morphology is a key factor for real time plant r...
EMMCVPR
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present an algorithm for automatically constructing a decompositional shape model from examples. Unlike current approaches to structural model acquisition, in which on...
127
Voted
FLAIRS
2004
15 years 3 months ago
2004
er provides new techniques for abstracting the state space of a Markov Decision Process (MDP). These techniques extend one of the recent minimization models, known as -reduction, ...