4272 search results - page 156 / 855 » A Case for Automatic System Evaluation |
161
click to vote
VISUALIZATION
1996
IEEE
15 years 10 months ago
1996
IEEE
This case study describes a system that allows the use of interactive volume rendering for routine clinical diagnosis. In this setup, a SGI RealityStation acts like a remote rende...
153
click to vote
CADE
2004
Springer
16 years 6 months ago
2004
Springer
The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first-order Automated Theorem Proving systems. CASC-18 was the seventh competition in the CASC se...
192
click to vote
CSMR
2005
IEEE
16 years 6 days ago
2005
IEEE
Wrapping databases allows them to be reused in formerly unplanned contexts, such as web-based applications or federated systems. Indeed, a wrapper can provide external clients of ...
138
click to vote
HYBRID
1994
Springer
15 years 10 months ago
1994
Springer
This paper is addressed to potential users of HyTech, the Cornell Hybrid Technology Tool, an automatic tool for analyzing hybrid systems. We review the formal technologies that hav...
157
click to vote
ENTCS
2007
15 years 6 months ago
2007
In this paper, we discuss a structural approach to automatic performance modelling of skeleton based applications. This uses a synthesis of performance evaluation process algebra ...