Sciweavers

2629 search results - page 362 / 526
» Build a Computer from Scratch
Sort
View
GG
2004
Springer
16 years 8 days ago
Model Checking Graph Transformations: A Comparison of Two Approaches
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
Arend Rensink, Ákos Schmidt, Dániel ...
HUC
2004
Springer
16 years 8 days ago
Designing Capture Applications to Support the Education of Children with Autism
We explore the social and technical design issues involved in tracking the effectiveness of educational and therapeutic interventions for children with autism (CWA). Automated capt...
Gillian R. Hayes, Julie A. Kientz, Khai N. Truong,...
ICIAR
2004
Springer
16 years 8 days ago
Camera Calibration Using Two Concentric Circles
We present a simple calibration method for computing the extrinsic parameters (pose) and intrinsic parameters (focal length and principal point) of a camera by imaging a pattern of...
Francisco Abad, Emilio Camahort, Roberto Viv&oacut...
PVM
2004
Springer
16 years 7 days ago
Open MPI: Goals, Concept, and Design of a Next Generation MPI Implementation
Abstract. A large number of MPI implementations are currently available, each of which emphasize different aspects of high-performance computing or are intended to solve a speci...
Edgar Gabriel, Graham E. Fagg, George Bosilca, Tha...
ECCV
2010
Springer
16 years 7 days ago
Programmable Aperture Camera Using LCoS
Since 1960s, aperture patterns have been studied extensively and a variety of coded apertures have been proposed for various applications, including extended depth of field, defocu...
Hajime Nagahara, Changyin Zhou, Takuya Watanabe, H...