Sciweavers

26071 search results - page 336 / 5215
» Making
Sort
View
ICMCS
1999
IEEE
164views Multimedia» more  ICMCS 1999»
15 years 11 months ago
A Semi-Automatic System to Infer Complex 3-D Shapes from Photographs
We present a semi-automatic image-based modeling system to make 3-D models from photographs. The human operator intervenes only for simple and straightforward tasks. The design of...
Qian Chen, Gérard G. Medioni
CAV
1999
Springer
92views Hardware» more  CAV 1999»
15 years 11 months ago
Latency Insensitive Protocols
The theory of latency insensitive design is presented as the foundation of a new correct by construction methodology to design very large digital systems by assembling blocks of In...
Luca P. Carloni, Kenneth L. McMillan, Alberto L. S...
COLT
1999
Springer
15 years 11 months ago
An Adaptive Version of the Boost by Majority Algorithm
We propose a new boosting algorithm. This boosting algorithm is an adaptive version of the boost by majority algorithm and combines bounded goals of the boost by majority algorith...
Yoav Freund
IV
1999
IEEE
115views Visualization» more  IV 1999»
15 years 11 months ago
Interaction with the Reorderable Matrix
The Reorderable Matrix is a simple visualization method for quantitative tabular data. This paper examines how first-time users interact with the Reorderable Matrix and how well t...
Harri Siirtola
158
Voted
KBSE
1999
IEEE
15 years 11 months ago
An ML Editor Based on Proofs-As-Programs
CYNTHIA is a novel editor for the functional programming language ML in which each function definition is represented as the proof of a simple specification. Users of CYNTHIA edit...
Jon Whittle, Alan Bundy, Richard J. Boulton, Helen...