12399 search results - page 681 / 2480 » Deformable structural models |
178
click to vote
ACSD
2001
IEEE
15 years 11 months ago
2001
IEEE
We describe a framework where formal models can be rigorously defined and compared, and their interconnections can be unambiguously specified. We use trace algebra and trace struc...
230
click to vote
MASCOTS
2004
15 years 8 months ago
2004
In this paper, we describe the dual-processor parallelisation of a symbolic (BDD-based) implementation of probabilistic model checking. We use multi-terminal BDDs, which allow a c...
194
click to vote
IWSOS
2009
Springer
16 years 1 months ago
2009
Springer
Self-organization, whereby through purely local interactions, global order and structure emerge, is studied broadly across many fields of science, economics, and engineering. We ...
183
Voted
ACSD
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we show how to use labelled event structures as a unique mathematical representation for design models consisting of different UML 2.0 diagrams/notation. Each diagra...
205
click to vote
MTV
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper we will present an optimized structural 01X-SAT-solver for bounded model checking of blackbox designs that exploits semantical knowledge regarding the node selection...