9067 search results - page 1669 / 1814 » Adaptive Model Checking |
159
click to vote
SIGGRAPH
1987
ACM
15 years 9 months ago
1987
ACM
Ray tracing produces point samples of an image from a 3-D model. Constructing an antialiased digital picture from point samples is difficult without resorting to extremely high sa...
178
click to vote
ASIACRYPT
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Public-key encryption schemes rely for their IND-CPA security on per-message fresh randomness. In practice, randomness may be of poor quality for a variety of reasons, le...
181
click to vote
CSE
2009
IEEE
15 years 9 months ago
2009
IEEE
— Low energy consumption is a critical issue in embedded systems design. As the technology feature sizes of SoC (Systems on Chip) become smaller and smaller, the percentage of le...
174
click to vote
SCA
2007
15 years 8 months ago
2007
Standing is a fundamental skill mastered by humans and animals alike. Although easy for adults, it requires careful and deliberate manipulation of contact forces. The variation in...
174
click to vote
SGP
2007
15 years 8 months ago
2007
A robust statistics approach to curvature estimation on discretely sampled surfaces, namely polygon meshes and point clouds, is presented. The method exhibits accuracy, stability ...