303 search results - page 61 / 61 » Robust Test Generation and Coverage for Hybrid Systems |
HASKELL
2007
ACM
13 years 9 months ago
2007
ACM
The use of typed intermediate languages can significantly increase the reliability of a compiler. By type-checking the code produced at each transformation stage, one can identify...
CIKM
2008
Springer
13 years 7 months ago
2008
Springer
In this work we try to bridge the gap often encountered by researchers who find themselves with few or no labeled examples from their desired target domain, yet still have access ...
TRECVID
2007
13 years 6 months ago
2007
TURED ABSTRACT Detection of shot boundary plays important roles in many video applications. Herein, a novel method on shot boundary detection from compressed video is proposed. Fir...