Sciweavers

9186 search results - page 1283 / 1838
» A Module System for Scheme
Sort
View
164
Voted
WFLP
2000
Springer
163views Algorithms» more  WFLP 2000»
15 years 8 months ago
Cooperative Constraint Functional Logic Programming
We describe the current status of the development of CFLP, a system which aims at the integration of the best features of functional logic programming (FLP), cooperative constrain...
Mircea Marin, Tetsuo Ida
ECCV
2010
Springer
15 years 7 months ago
Programmable Aperture Photography
In this paper, we present a system including a novel component called programmable aperture and two associated post-processing algorithms for high-quality light field acquisition...
NSDI
2008
15 years 7 months ago
Maelstrom: Transparent Error Correction for Lambda Networks
The global network of datacenters is emerging as an important distributed systems paradigm -- commodity clusters running high-performance applications, connected by high-speed `la...
Mahesh Balakrishnan, Tudor Marian, Ken Birman, Hak...
NSDI
2008
15 years 7 months ago
Centered Discretization with Application to Graphical Passwords
Discretization is used in click-based graphical passwords so that approximately correct entries can be accepted by the system. We show that the existing discretization scheme of B...
Sonia Chiasson, Jayakumar Srinivasan, Robert Biddl...
CDC
2008
IEEE
15 years 7 months ago
Tracking a magnetic nanoparticle in 3-D with a magnetic force microscope
In this paper we introduce a scheme for tracking a magnetic nanoparticle in 3-D with the tip of a magnetic force microscope. The stray magnetic field of the magnetic particle induc...
Dimitar Baronov, Sean B. Andersson
« Prev « First page 1283 / 1838 Last » Next »