Sciweavers

8177 search results - page 96 / 1636
» Detecting System Emulators
Sort
View
103
Voted
TRECVID
2008
15 years 2 months ago
The Orange Labs Real Time Video Copy Detection System - TrecVid 2008 Results
In this paper, we describe the content-based video copy detection system developed at Orange Labs. We also present the evaluation results of the TrecVid 2008 copy detection evalua...
Nicolas Gengembre, Sid-Ahmed Berrani
108
Voted
CADE
2012
Springer
13 years 3 months ago
Proving Non-looping Non-termination Automatically
We introduce a technique to prove non-termination of term rewrite systems automatically. Our technique improves over previous approaches substantially, as it can also detect non-lo...
Fabian Emmes, Tim Enger, Jürgen Giesl
MONTEREY
2007
Springer
15 years 7 months ago
Defect Detection and Prevention (DDP)
Martin S. Feather
85
Voted
HYBRID
2004
Springer
15 years 6 months ago
Non-concurrent Error Detection and Correction in Switched Linear Controllers
Shreyas Sundaram, Christoforos N. Hadjicostis