4359 search results - page 788 / 872 » Automated Pipeline Design |
MMS
2007
13 years 8 months ago
2007
Abstract From lyrics-display on electronic music players and Karaoke videos to surtitles for live Chinese opera performance, one feature is common to all these everyday functionali...
JEI
2008
13 years 8 months ago
2008
Defect detection in images is a current task in quality control and is often integrated in partially or fully automated systems. Assessing the performances of defect detection algo...
PRESENCE
2007
13 years 8 months ago
2007
We describe a methodology for Virtual Reality designers to capture and resynthesize the variations in sound made by objects when we interact with them through contact such as touc...
SAC
2008
ACM
13 years 8 months ago
2008
ACM
Business Process Management (BPM) technology has become an important instrument for improving process performance. When considering its use, however, enterprises typically have to...
ICFEM
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...