1306 search results - page 94 / 262 » A Diagrammatic Approach to Model Completion |
107
click to vote
CVPR
2010
IEEE
15 years 6 months ago
2010
IEEE
This paper presents a novel approach that achieves complete matching of 3D dynamic surfaces. Surfaces are captured from multi-view video data and represented by sequences of 3D ma...
100
click to vote
CHARME
1997
Springer
15 years 4 months ago
1997
Springer
Formal verification techniques need to deal with the complexity of the systems rified. Most often, this problem is solved by taking an abstract model of the system and aiming at a...
121
click to vote
PDCAT
2009
Springer
15 years 7 months ago
2009
Springer
—In the crash-recovery failure model of asynchronous distributed systems, processes can temporarily stop to execute steps and later restart their computation from a predefined l...
94
Voted
HYBRID
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. In many cases, complex system behaviors are naturally modeled as nonlinear differential equations. However, these equations are often hard to analyze because of "sti...
HICSS
2010
IEEE
15 years 2 months ago
2010
IEEE
Today, there exists a huge variety of business document models for electronic data exchange among business partners used in business-to-business, business-to-government, as well a...