3082 search results - page 229 / 617 » Deviation Analysis: A New Use of Model Checking |
179
click to vote
AMAI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract We present a new approximate verification technique for falsifying the invariants of B models. The technique employs symmetry of B models induced by the use of deferred se...
150
click to vote
PAMI
2010
15 years 4 months ago
2010
Computer-vision attention processes allocate computational resources to different parts of visual input and can lead to faster object recognition and image analysis. This paper p...
168
click to vote
INFOVIS
2000
IEEE
15 years 11 months ago
2000
IEEE
In previous work, researchers have attempted to construct taxonomies of information visualization techniques by examining the data domains that are compatible with these technique...
180
click to vote
CSB
2003
IEEE
15 years 11 months ago
2003
IEEE
Cluster methods have been successfully applied in gene expression data analysis to address tumor classification. By grouping tissue samples into homogeneous subsets, more systema...
147
click to vote
CTW
2002
15 years 6 months ago
2002
: Information Systems (IS) and technology are used extensively throughout the NHS, and the 1998 national information strategy, "Information for Health", sets out how the ...