4520 search results - page 662 / 904 » Algebraic Techniques for Timed Systems |
176
click to vote
ISBI
2006
IEEE
16 years 20 days ago
2006
IEEE
Automated detection of stable fracture points in a sequence of Computed Tomography (CT) images is found to be a challenging task. In this paper, an innovative scheme for automatic...
201
click to vote
AVSS
2005
IEEE
16 years 8 days ago
2005
IEEE
Nowadays, many visual surveillance systems exploit PTZ camera to increase the field of view of a surveyed area. The background subtraction technique is widespread to detect movin...
151
click to vote
ISPASS
2005
IEEE
16 years 7 days ago
2005
IEEE
Cosmic-ray induced soft errors in cache memories are becoming a major threat to the reliability of microprocessor-based systems. In this paper, we present a new method to accurate...
161
click to vote
SC
2005
ACM
16 years 6 days ago
2005
ACM
Left unchecked, the fundamental drive to increase peak performance using tens of thousands of power hungry components will lead to intolerable operating costs and failure rates. H...
189
Voted
SOFTVIS
2005
ACM
16 years 6 days ago
2005
ACM
During the life cycle of a software system, the source code is changed many times. We study how developers can be enabled to get insight in these changes, in order to understand t...