430 search results - page 62 / 86 » Simulation from non-standard distributions using envelope me... |
CF
2005
ACM
13 years 10 months ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...
MICCAI
2002
Springer
14 years 8 months ago
2002
Springer
Most existing methods for registration of three-dimensional tomographic images to two-dimensional projection images use simulated projection images and either intensity-based or fe...
ECOOPW
2008
Springer
13 years 9 months ago
2008
Springer
EOOLT'2007 was the first edition of the ECOOP-EOOLT workshop. The workshop is intended to bring researchers associated with different equation-based object-oriented (EOO) mode...
CN
2004
13 years 7 months ago
2004
Smart dust motes are miniature self-contained systems that may be deployed in very large numbers. In military applications these devices are subject to different threats than conv...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
Electronic textiles, known as computational fabrics, offer an emerging method for constructing wearable and large area applications. Because e-textiles are battery-driven and faul...