1992 search results - page 206 / 399 » Model Based Testing with Labelled Transition Systems |
150
click to vote
FDL
2007
IEEE
15 years 10 months ago
2007
IEEE
The system description language SystemC enables to quickly create executable specifications at adequate levbstraction for both hardware/software integration and fast design space...
126
Voted
CISS
2008
IEEE
15 years 10 months ago
2008
IEEE
— Probe based data storage is a promising solution for satisfying the demand for ultra-high capacity storage devices. One of the main problems with probe storage devices is the w...
143
Voted
ACCV
2006
Springer
15 years 9 months ago
2006
Springer
Background subtraction is an essential task in several static camera based computer vision systems. Background modeling is often challenged by spatio-temporal changes occurring due...
142
click to vote
CVPR
2005
IEEE
16 years 5 months ago
2005
IEEE
We develop and demonstrate an object recognition system capable of accurately detecting, localizing, and recovering the kinematic configuration of textured animals in real images....
155
Voted
PAMI
2012
13 years 6 months ago
2012
—There has been a growing interest in exploiting contextual information in addition to local features to detect and localize multiple object categories in an image. A context mod...