7318 search results - page 1211 / 1464 » Models of real-valued measurability |
208
click to vote
QEST
2006
IEEE
16 years 1 months 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...
168
click to vote
SRDS
2006
IEEE
16 years 1 months 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...
215
click to vote
ACCV
2006
Springer
16 years 1 months 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...
189
click to vote
ISLPED
2006
ACM
16 years 1 months 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...
188
click to vote
JCDL
2006
ACM
16 years 1 months 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...