1306 search results - page 106 / 262 » A Diagrammatic Approach to Model Completion |
116
Voted
TMI
2002
15 years 9 days ago
2002
Abstract--Activation time (AT) imaging from electrocardiographic (ECG) mapping data has been developing for several years. By coupling ECG mapping and three-dimensional (3-D) + tim...
107
click to vote
CVPR
2005
IEEE
16 years 2 months ago
2005
IEEE
When viewed from a system of multiple cameras with nonoverlapping fields of view, the appearance of an object in one camera view is usually very different from its appearance in a...
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
Practitioners of formal property verification often work around the capacity limitations of formal verification tools by breaking down properties into smaller properties that ca...
126
click to vote
UML
2004
Springer
15 years 6 months ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
130
Voted
APN
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...