3082 search results - page 404 / 617 » Deviation Analysis: A New Use of Model Checking |
168
click to vote
NIPS
1998
15 years 7 months ago
1998
In previous work 6, 9, 10], we advanced a new technique for direct visual matching of images for the purposes of face recognition and image retrieval, using a probabilistic measur...
190
click to vote
ISSTA
2004
ACM
15 years 12 months ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
172
click to vote
CAISE
2009
Springer
16 years 1 months ago
2009
Springer
Navigation systems have proven to be quite useful for many drivers. People increasingly rely on the devices of TomTom and other vendors and find it useful to get directions to go ...
163
click to vote
KDD
2004
ACM
15 years 11 months ago
2004
ACM
World steel trade becomes more competitive every day and new high international quality standards and productivity levels can only be achieved by applying the latest computational...
256
click to vote
PLDI
2005
ACM
16 years 1 days ago
2005
ACM
Robust and powerful software instrumentation tools are essential for program analysis tasks such as profiling, performance evaluation, and bug detection. To meet this need, we ha...