Sciweavers

2629 search results - page 362 / 526
» Build a Computer from Scratch
Sort
View
108
Voted
GG
2004
Springer
15 years 8 months 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 ...
96
Voted
HUC
2004
Springer
15 years 8 months 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,...
122
Voted
ICIAR
2004
Springer
15 years 8 months 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...
128
Voted
PVM
2004
Springer
15 years 8 months 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...
114
Voted
ECCV
2010
Springer
15 years 8 months 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...