3053 search results - page 235 / 611 » Structured Objects: Modeling and Reasoning |
113
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We study the complexity of model expansion (MX), which is the problem of expanding a given finite structure with additional relations to produce a finite model of a giv...
147
click to vote
CORR
2011
Springer
14 years 7 months ago
2011
Springer
We study probabilistic bit-probe schemes for the membership problem. Given a set A of at most n elements from the universe of size m we organize such a structure that queries of t...
132
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Empirical binding models have previously been investigated for the energetics of protein complexation (G models) and for the influence of mutations on complexation (i....
132
click to vote
SG
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In the field of the architectural heritage, the representation of artefacts, particularly for communication purposes, has benefited from the development of computer-based...
154
click to vote
SMI
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we present a novel modeling method for synthesizing rough surfaces using discrete surface growth models. We employ a two-pass method. Initial point cluster data is ...