1975 search results - page 313 / 395 » Property analysis and design understanding |
156
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
167
click to vote
ICIP
2002
IEEE
16 years 7 months ago
2002
IEEE
Content-based retrieval (CBIR) methods in medical databases have been designed to support specific tasks, such as retrieval of digital mammograms or 3D MRI images. These methods c...
244
click to vote
ICDE
2005
IEEE
16 years 7 months ago
2005
IEEE
Stream-processing systems are designed to support an emerging class of applications that require sophisticated and timely processing of high-volume data streams, often originating...
143
click to vote
COMPSAC
2005
IEEE
15 years 12 months ago
2005
IEEE
Mobile agent systems have many attractive features including asynchrony, openness, dynamicity and anonymity, which makes them indispensable in designing complex modern application...
152
click to vote
ICCV
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper addresses the problem of real-time 3D modelbased tracking by combining point-based and edge-based tracking systems. We present a careful analysis of the properties of t...