3082 search results - page 595 / 617 » Deviation Analysis: A New Use of Model Checking |
238
click to vote
GIS
2006
ACM
16 years 24 days ago
2006
ACM
Remotely sensed data, in particular satellite imagery, play many important roles in environmental applications and models. In particular applications that study (rapid) changes in...
100
click to vote
ICIAR
2004
Springer
15 years 5 months ago
2004
Springer
The automated flaw detection in aluminium castings consists of two steps: a) identification of potential defects using image processing techniques, and b) classification of pote...
104
click to vote
WCRE
2003
IEEE
15 years 5 months ago
2003
IEEE
Many modern software systems are often large, distributed, written in more than one programming language, and developed using pre-built components. This paper presents the results...
84
Voted
INFOVIS
2002
IEEE
15 years 4 months ago
2002
IEEE
Visualization is a powerful way to facilitate data analysis, but it is crucial that visualization systems explicitly convey the presence, nature, and degree of uncertainty to user...
153
click to vote
JUCS
2010
14 years 6 months ago
2010
: The idea of developing software through systematic development processes to improve software quality is not new. Nevertheless, there are still many information systems such as th...