3082 search results - page 430 / 617 » Deviation Analysis: A New Use of Model Checking |
195
click to vote
WCRE
2003
IEEE
15 years 11 months ago
2003
IEEE
Graphical user interfaces (GUIs) are important parts of today’s software and their correct execution is required to ensure the correctness of the overall software. A popular tec...
238
click to vote
CLADE
2008
IEEE
16 years 26 days ago
2008
IEEE
With the exponential growth of complete genome sequences, the analysis of these sequences is becoming a powerful approach to build genome-scale metabolic models. These models can ...
147
click to vote
SODA
2008
ACM
15 years 7 months ago
2008
ACM
In recent years there has been considerable interest in analyzing random graph models for the Web. We consider two such models - the Random Surfer model, introduced by Blum et al....
179
click to vote
RITA
2002
15 years 6 months ago
2002
The use of detailed geometric models is a critical factor for achieving realism in most computer graphics applications. In the past few years, we have observed an increasing deman...
163
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
We present a new unsupervised method to learn unified probabilistic object models (POMs) which can be applied to classification, segmentation, and recognition. We formulate this a...