3573 search results - page 491 / 715 » Reasoning about Codata |
173
click to vote
DATE
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—Built-In Self-Test (BIST) is less often applied to random logic than to embedded memories due to the following reasons: Firstly, for a satisfiable fault coverage it may...
169
click to vote
ECCV
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Computer vision algorithms for individual tasks such as object recognition, detection and segmentation have shown impressive results in the recent past. The next challeng...
164
click to vote
CA
2002
IEEE
15 years 10 months ago
2002
IEEE
The last few years have seen great maturation in understanding how to use computer graphics technology to portray 3D embodied characters or virtual humans. Unlike the off-line, an...
159
click to vote
COOPIS
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper makes two main contributions towards establishing support for application-specific factors in middleware security mechanisms. First, it develops a simple classification...
128
click to vote
DSN
2002
IEEE
15 years 10 months ago
2002
IEEE
We present ideas on how to structure software systems for high availability by considering MTTR/MTTF characteristics of components in addition to the traditional criteria, such as...