2838 search results - page 446 / 568 » Verifying Controlled Components |
PG
2007
IEEE
2007
IEEE
Statistical Hypothesis Testing for Assessing Monte Carlo Estimators: Applications to Image Synthesis
14 years 4 months ago
Image synthesis algorithms are commonly compared on the basis of running times and/or perceived quality of the generated images. In the case of Monte Carlo techniques, assessment ...
CCS
2007
ACM
14 years 4 months ago
2007
ACM
Traditional Public Key Infrastructures (PKI) have not lived up to their promise because there are too many ways to define PKIs, too many cryptographic primitives to build them wi...
LADC
2007
Springer
14 years 4 months ago
2007
Springer
Analysis and design patterns are well established as a convenient and reusable way to build high-quality object-oriented software. Patterns combine experience and good practices t...
ICNP
2006
IEEE
14 years 4 months ago
2006
IEEE
— In a wormhole attack, wireless transmissions are recorded at one location and replayed at another, creating a virtual link under attacker control. Proposed countermeasures to t...
IROS
2006
IEEE
14 years 4 months ago
2006
IEEE
This work is about the relevance of Gibson’s concept of affordances [1] for visual perception in interactive and autonomous robotic systems. In extension to existing functional ...