Sciweavers

1306 search results - page 54 / 262
» A Diagrammatic Approach to Model Completion
Sort
View
126
Voted
CODES
2008
IEEE
15 years 2 months ago
Model checking SystemC designs using timed automata
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
Paula Herber, Joachim Fellmuth, Sabine Glesner
89
Voted
ICCV
2009
IEEE
16 years 5 months ago
Modeling Deformable Objects from a Single Depth Camera
We propose a novel approach to reconstruct complete 3D deformable models over time by a single depth camera, provided that most parts of the models are observed by the camera at...
Miao Liao, Qing Zhang, Huamin Wang, Ruigang Yang, ...
90
Voted
FBT
1998
129views Formal Methods» more  FBT 1998»
15 years 1 months ago
Specification Modules for Methodical System Development
: We show how an alternative approach to document-oriented specification can ease the system design process. By identifying the modeling concepts needed for a complete system speci...
Franz Huber, Bernhard Schätz
78
Voted
CIE
2009
Springer
15 years 7 months ago
Computational Heuristics for Simplifying a Biological Model
Abstract. Computational biomodelers adopt either of the following approaches: build rich, as complete as possible models in an effort to obtain very realistic models, or on the co...
Ion Petre, Andrzej Mizera, Ralph-Johan Back
98
Voted
NAACL
2010
14 years 10 months ago
Coreference Resolution in a Modular, Entity-Centered Model
Coreference resolution is governed by syntactic, semantic, and discourse constraints. We present a generative, model-based approach in which each of these factors is modularly enc...
Aria Haghighi, Dan Klein