7318 search results - page 1211 / 1464 » Models of real-valued measurability |
184
click to vote
QEST
2006
IEEE
16 years 22 days ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
147
click to vote
SRDS
2006
IEEE
16 years 22 days ago
2006
IEEE
As the disks typically found in personal computers grow larger, protecting data by replicating it on a collection of “peer” systems rather than on dedicated high performance s...
197
click to vote
ACCV
2006
Springer
16 years 21 days ago
2006
Springer
In this paper, we propose a new method for face recognition under varying illumination conditions using a single input image. Our method is based on a statistical shape-from-shadin...
167
Voted
ISLPED
2006
ACM
16 years 20 days ago
2006
ACM
In this paper, we propose an effective dynamic thermal management (DTM) scheme for MPEG-2 decoding by allowing some degree of spatiotemporal quality degradation. Given a target MP...
170
click to vote
JCDL
2006
ACM
16 years 20 days ago
2006
ACM
In this paper, we review and examine the current status of digital library education and compare the range of provision with that found in earlier studies [1, 2, 3]. It is found t...