3053 search results - page 194 / 611 » Structured Objects: Modeling and Reasoning |
137
click to vote
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
We present a sound and complete model of lambda-calculus reductions based on structures inspired by modal logic (closely related to Kripke structures). Accordingly we can construct...
219
click to vote
ICDE
2004
IEEE
16 years 5 months ago
2004
IEEE
In this paper, we will look at substructure clustering of sequential 3d objects. A sequential 3d object is a set of points located in a three dimensional space that are linked up ...
148
click to vote
JIB
2007
15 years 3 months ago
2007
The creation of quantitative, simulatable, Systems Biology Markup Language (SBML) models that accurately simulate the system under study is a time-intensive manual process that re...
123
click to vote
COMPGEOM
2004
ACM
15 years 9 months ago
2004
ACM
We propose a generic computational framework for maintaining a discrete geometric structure defined by a collection of static and mobile objects. We assume that the mobile object...
115
click to vote
EMSOFT
2003
Springer
15 years 9 months ago
2003
Springer
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...