Sciweavers

4172 search results - page 188 / 835
» Computing Machinery and Understanding
Sort
View
CVPR
1997
IEEE
15 years 7 months ago
Depth from Scattering
Light power is a ected when it crosses the atmosphere; there is a simple, albeit non-linear, relationship between the radiance of an image at any given wavelength and the distance...
Fabio Gagliardi Cozman, Eric Krotkov
SI3D
1992
ACM
15 years 7 months ago
3DM: A Three Dimensional Modeler Using a Head-Mounted Display
3dm is a three dimensional (3D) surface modeling program that draws techniques of model manipulation from both CAD and drawing programs and applies them to modeling in an intuitiv...
Jeff Butterworth, Andrew Davidson, Stephen Hench, ...
142
Voted
DSN
2008
IEEE
15 years 5 months ago
Experiences with formal specification of fault-tolerant file systems
Fault-tolerant, replicated file systems are a crucial component of today's data centers. Despite their huge complexity, these systems are typically specified only in brief pr...
Roxana Geambasu, Andrew Birrell, John MacCormick
96
Voted
IMECS
2007
15 years 5 months ago
Using Similarity Flooding for Extracting Similar Parts of Proteins
—Proteins are the main players in the game of life. Good understanding of their structures, functions, and behaviors leads to good understanding of drugs, diseases, and thus our ...
Hassan Sayyadi, Sara Salehi, Mohammad Ghodsi
173
Voted
JFPLC
2004
15 years 4 months ago
Explications pour comprendre la trace d'un solveur de contraintes sur domaines finis
ABSTRACT. Some works in progress on finite domain constraint solvers concern the implementation of a XML trace of the computation according to the OADymPPaC DTD (for example in GNU...
Gérard Ferrand, Willy Lesaint, Alexandre Te...