106 search results - page 17 / 22 » On Verifying Complex Properties using Symbolic Shape Analysi... |
111
click to vote
CORR
2010
Springer
14 years 7 months ago
2010
Springer
This report outlines the use of a relational representation in a Multi-Agent domain to model the behaviour of the whole system. A desired property in this systems is the ability of...
104
Voted
IJCV
2007
14 years 10 months ago
2007
The visual effects of rain are complex. Rain produces sharp intensity changes in images and videos that can severely impair the performance of outdoor vision systems. In this paper...
IRI
2003
IEEE
15 years 4 months ago
2003
IEEE
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...
109
Voted
IWVF
2001
Springer
15 years 3 months ago
2001
Springer
Volumetric images of small mortar samples under load are acquired by X-ray microtomography. The images are binarized at many different threshold values, and over a million connecte...
93
Voted
EH
2005
IEEE
15 years 4 months ago
2005
IEEE
Manufacturing processes are a key source of faults in complex hardware systems. Minimizing this impact of manufacturing uncertainties is one way towards achieving fault tolerant s...