Results 1  10
of
2,114
An introduction to Kolmogorov Complexity and its Applications: Preface to the First Edition
, 1997
"... This document has been prepared using the L a T E X system. We thank Donald Knuth for T E X, Leslie Lamport for L a T E X, and Jan van der Steen at CWI for online help. Some figures were prepared by John Tromp using the xpic program. The London Mathematical Society kindly gave permission to reproduc ..."
Abstract

Cited by 2138 (120 self)
 Add to MetaCart
to reproduce a long extract by A.M. Turing. The Indian Statistical Institute, through the editor of Sankhy¯a, kindly gave permission to quote A.N. Kolmogorov. We gratefully acknowledge the financial support by NSF Grant DCR8606366, ONR Grant N0001485k0445, ARO Grant DAAL0386K0171, the Natural Sciences
A subordinated stochastic process model with finite variance for speculative prices
 Econometrica
, 1973
"... Thanks are due to Hendrik Houthakker and Christopher Sims, for both encouragement and advice in developing this paper. As usual, all remaining errors are my own. This research was supported by a Harvard Dissertation Fellowship, NSF grant 33708, and the ..."
Abstract

Cited by 561 (1 self)
 Add to MetaCart
Thanks are due to Hendrik Houthakker and Christopher Sims, for both encouragement and advice in developing this paper. As usual, all remaining errors are my own. This research was supported by a Harvard Dissertation Fellowship, NSF grant 33708, and the
SelfTesting/Correcting with Applications to Numerical Problems
, 1990
"... Suppose someone gives us an extremely fast program P that we can call as a black box to compute a function f . Should we trust that P works correctly? A selftesting/correcting pair allows us to: (1) estimate the probability that P (x) 6= f(x) when x is randomly chosen; (2) on any input x, compute ..."
Abstract

Cited by 361 (27 self)
 Add to MetaCart
f(x) correctly as long as P is not too faulty on average. Furthermore, both (1) and (2) take time only slightly more than Computer Science Division, U.C. Berkeley, Berkeley, California 94720, Supported by NSF Grant No. CCR 8813632. y International Computer Science Institute, Berkeley
On visible surface generation by a priori tree structures
 Computer Graphics
, 1980
"... This paper describes a new algorithm for solving the hidden surface (or line) problem, to more rapidly generate realistic images of 3D scenes composed of polygons, and presents the development of theoretical foundations in the area as well as additional related algorithms. As in many applications t ..."
Abstract

Cited by 370 (6 self)
 Add to MetaCart
specifying parameters zor an image (using knobs, switches, or cockpit controls) and the *This research was partially supported by NSF under Grants MCS7900168 and MC57902593, and was zacilitated by the use of
A Safe Approximate Algorithm for Interprocedural Pointer Aliasing
, 1992
"... Aliasing occurs at some program point during execution when two or more names exist for the same location. In a language which allows pointers, the problem of determining the set of pairs of names at a program point which may refer to the same location during program execution is NPhard. We present ..."
Abstract

Cited by 351 (31 self)
 Add to MetaCart
present an algorithm which safely approximates Interprocedural May Alias in the presence of pointers. This algorithm has been implemented in a prototype analysis tool for C programs. 3 The research reported here was supported, in part, by Siemens Research Corporation and NSF grant CCR8920078. y
Universal OneWay Hash Functions and their Cryptographic Applications
, 1989
"... We define a Universal OneWay Hash Function family, a new primitive which enables the compression of elements in the function domain. The main property of this primitive is that given an element x in the domain, it is computationally hard to find a different domain element which collides with x. We ..."
Abstract

Cited by 351 (15 self)
 Add to MetaCart
author was supported in part by NSF grant CCR88 13632. A preliminary version of this work app...
NSF.
"... tinguished from Engineering Technology education) is a design problem. In engineering, an important consideration is to determine the goal of the design. What is the desired result? For whom is it desirable? What are the unintended consequences? I continue to raise the question of what should the g ..."
Abstract
 Add to MetaCart
the goal be for technology education. What are the design issues? In the last few years I have become enamored with the monograph, Understanding by Design, by Grant Wiggins and Jay McTighe (Wiggins & McTighe, 2005). Their use of design is probably more synonymous with purpose. In this book
NSF.
"... tinguished from Engineering Technology education) is a design problem. In engineering, an important consideration is to determine the goal of the design. What is the desired result? For whom is it desirable? What are the unintended consequences? I continue to raise the question of what should the g ..."
Abstract
 Add to MetaCart
the goal be for technology education. What are the design issues? In the last few years I have become enamored with the monograph, Understanding by Design, by Grant Wiggins and Jay McTighe (Wiggins & McTighe, 2005). Their use of design is probably more synonymous with purpose. In this book
PVS: Combining Specification, Proof Checking, and Model Checking
, 1996
"... rem Proving and Typechecking The PVS specification language is based on classical, simply typed higherorder logic, but the type system has been augmented with subtypes and dependent types. Though typechecking is undecidable for the PVS type system, the PVS typechecker automatically checks for simp ..."
Abstract

Cited by 230 (5 self)
 Add to MetaCart
. Various applications and customizations have been funded by NSF Grant CCR9300
A Simple Algorithm for Homeomorphic Surface Reconstruction
 International Journal of Computational Geometry and Applications
, 2000
"... The problem of computing a piecewise linear approximation to a surface from a set of sample points is important in solid modeling, computer graphics and computer vision. A recent algorithm [1] using the Voronoi diagram of the sample points gave a guarantee on the distance of the output surface from ..."
Abstract

Cited by 233 (29 self)
 Add to MetaCart
such topological guarantee for this problem. 1 Introduction A number of applications in CAD, computer graphics, computer vision and mathematical modeling involve the computation of a piecewise lin Dept. of Computer Science, U. of Texas, Austin TX 78712. email: amenta@cs.utexas.edu, supported by NSF grant
Results 1  10
of
2,114