3082 search results - page 462 / 617 » Deviation Analysis: A New Use of Model Checking |
168
click to vote
GRAPHITE
2004
ACM
15 years 11 months ago
2004
ACM
This paper presents a novel technique for the generation of ‘video textures’ to display human emotion. This is achieved by a method which uses existing video footage to synthe...
175
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
We present a novel approach to reconstruction based superresolution that explicitly models the detector's pixel layout. Pixels in our model can vary in shape and size, and th...
181
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
195
click to vote
RTCSA
2003
IEEE
15 years 11 months ago
2003
IEEE
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by c...
144
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Enterprises today wish to manage their IT resources so as to optimize business objectives, such as income, rather than IT metrics, such as response times. Therefore, we introduce ...