781 search results - page 141 / 157 » Automatic Formal Model Generation and Analysis of SDL |
CIVR
2004
Springer
14 years 29 days ago
2004
Springer
Abstract. Scene structuring is a video analysis task for which no common evaluation procedures have been fully adopted. In this paper, we present a methodology to evaluate such tas...
ITC
2003
IEEE
14 years 25 days ago
2003
IEEE
Failure analysis (FA) and diagnosis of memory cores plays a key role in system-on-chip (SOC) product development and yield ramp-up. Conventional FA based on bitmaps and the experi...
CVGIP
2006
13 years 7 months ago
2006
We present a method for animating 3D models of animals from existing live video sequences such as wild life documentaries. Videos are first segmented into binary images on which p...
JMM2
2008
13 years 7 months ago
2008
As computer and database technologies advance rapidly, biologists all over the world can share biologically meaningful data from images of specimens and use the data to classify th...
ICML
2006
IEEE
14 years 8 months ago
2006
IEEE
This paper examines high dimensional regression with noise-contaminated input and output data. Goals of such learning problems include optimal prediction with noiseless query poin...