3082 search results - page 332 / 617 » Deviation Analysis: A New Use of Model Checking |
134
click to vote
MICCAI
2003
Springer
16 years 7 months ago
2003
Springer
Abstract. We perform discriminative analysis of brain structures using morphometric information. Spherical harmonics technique and point distribution model are used for shape descr...
194
click to vote
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
This paper presents a new methodology for system-level power and performance analysis of wireless multimedia systems. More precisely, we introduce an analytical approach based on ...
194
click to vote
AAAI
1997
15 years 8 months ago
1997
We address the problem of visually detecting causal events and tting them together into a coherent story of the action witnessed by the camera. We show that this can be done by re...
172
click to vote
TCSV
2002
15 years 6 months ago
2002
Despite the availability of video-on-demand (VoD) services in a number of cities around the world, large-scale deployment of VoD services in a metropolitan area is still economical...
167
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
A modular program analysis considers components independently and provides succinct summaries for each component, which can be used when checking the rest of the system. Consider ...