78 search results - page 11 / 16 » Automatic generation of path conditions for concurrent timed... |
SCP
1998
13 years 7 months ago
1998
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...
MICCAI
2009
Springer
14 years 8 months ago
2009
Springer
This paper describes a system to automatically segment the left ventricle in all slices and all phases of cardiac cine magnetic resonance datasets. After localizing the left ventri...
RV
2010
Springer
13 years 5 months ago
2010
Springer
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...
ACSD
2009
IEEE
13 years 10 months ago
2009
IEEE
Protocol conversion deals with the automatic synthesis of an additional component, often referred to as an adaptor or a converter, to bridge mismatches between interacting compone...
MM
2004
ACM
14 years 29 days ago
2004
ACM
Given time and location information about digital photographs we can automatically generate an abundance of related contextual metadata, using off-the-shelf and Web-based data so...