4341 search results - page 411 / 869 » Quantitative Model checking |
218
click to vote
IEEEARES
2008
IEEE
16 years 1 months ago
2008
IEEE
Reliability analysis has become an integral part of system design and operating. This is especially true for systems performing critical tasks such as mass transportation systems....
228
click to vote
CVPR
2009
IEEE
15 years 10 months ago
2009
IEEE
Segmentation of document images remains a challenging vision problem. Although document images have a structured layout, capturing enough of it for segmentation can be difficult....
194
click to vote
ICIS
2001
15 years 8 months ago
2001
Despite substantial improvements in the last few years in software engineering and collaboration tools, coordination in large-scale software development continues to be problemati...
180
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Data from spectrophotometers form vectors of a large number of exploitable variables. Building quantitative models using these variables most often requires using a smaller set of...
174
click to vote
TITB
2008
15 years 6 months ago
2008
Abstract--Manual quantitative analysis of cardiac left ventricular function using Multislice CT and MR is arduous because of the large data volume. In this paper, we present a 3-D ...