3742 search results - page 271 / 749 » On the Use of Formal Techniques for Validation |
177
click to vote
IJCAI
2007
15 years 8 months ago
2007
Coronary Heart Disease can be diagnosed by measuring and scoring regional motion of the heart wall in ultrasound images of the left ventricle (LV) of the heart. We describe a comp...
171
click to vote
MASCOTS
2008
15 years 8 months ago
2008
Commercial servers, such as database or application servers, often attempt to improve performance via multithreading. Improper multi-threading architectures can incur contention, ...
190
click to vote
WSC
1998
15 years 8 months ago
1998
This paper describes the design and implementation of MPI-SIM, a library for the execution driven parallel simulation of MPI programs. MPI-LITE, a portable library that supports m...
164
click to vote
ISCI
2010
15 years 5 months ago
2010
This paper presents a simple but effective tuning strategy for robust static output feedback (SOF) controllers with minimal quadratic cost in the context of multiple parametric un...
144
click to vote
MTA
2010
15 years 5 months ago
2010
In order to analyse surveillance video, we need to efficiently explore large datasets containing videos of walking humans. At survei llance-image resolution, the human walk (their ...