Sciweavers

1585 search results - page 255 / 317
» Automatically optimizing secure computation
Sort
View
PG
2000
IEEE
15 years 4 months ago
Automated Texture Registration and Stitching for Real World Models
In this paper a system is presented which automatically registers and stitches textures acquired from multiple photographic images onto the surface of a given corresponding 3D mod...
Hendrik P. A. Lensch, Wolfgang Heidrich, Hans-Pete...
CONCUR
1997
Springer
15 years 4 months ago
Modularity for Timed and Hybrid Systems
Abstract. In a trace-based world, the modular speci cation, veri cation, and control of live systems require each module to be receptive that is, each module must be able to meet i...
Rajeev Alur, Thomas A. Henzinger
SIGGRAPH
1992
ACM
15 years 3 months ago
Variational surface modeling
We present a new approachto interactive modeling of freeform surfaces. Instead of a fixed mesh of control points, the model presented to the user is that of an infinitely malleabl...
William Welch, Andrew P. Witkin
BIRTHDAY
2003
Springer
15 years 3 months ago
Aspect Validation Using Model Checking
Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...
Shmuel Katz, Marcelo Sihman
CVPR
2010
IEEE
15 years 2 months ago
Robust Piecewise-Planar 3D Reconstruction and Completion from Large-Scale Unstructured Point Data
In this paper, we present a novel method, the first to date to our knowledge, which is capable of directly and automatically producing a concise and idealized 3D representation f...
Anne-Laure Chauve, Patrick Labatut, Jean-Philippe ...