3082 search results - page 342 / 617 » Deviation Analysis: A New Use of Model Checking |
206
click to vote
AVBPA
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. This paper is framed in the field of statistical face analysis. In particular, the problem of accurate segmentation of prominent features of the face in frontal view ima...
163
click to vote
WSC
2007
15 years 9 months ago
2007
Agility, speed and flexibility in production networks are required in today's global competition in the flat world. The accuracy of order date delivery promises is a key elem...
159
click to vote
SIGSOFT
2004
ACM
16 years 7 months ago
2004
ACM
Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties. The reported program properties are a set of ...
166
click to vote
DOLAP
2000
ACM
15 years 11 months ago
2000
ACM
With the use of data warehousing and online analytical processing (OLAP) for decision support applications new security issues arise. The goal of this paper is to introduce an OLA...
138
click to vote
ACSD
2004
IEEE
15 years 10 months ago
2004
IEEE
Abstract. A delay-insensitive module communicates with its environment through wires of unbounded delay. To avoid transmission interference, the absorption of a signal transition m...