Sciweavers

29046 search results - page 283 / 5810
» Computable Models
Sort
View
CGF
2004
175views more  CGF 2004»
15 years 4 months ago
DiFi: Fast 3D Distance Field Computation Using Graphics Hardware
We present an algorithm for fast computation of discretized 3D distance fields using graphics hardware. Given a set of primitives and a distance metric, our algorithm computes the...
Avneesh Sud, Miguel A. Otaduy, Dinesh Manocha
FOCS
2007
IEEE
15 years 10 months ago
Covert Multi-Party Computation
In STOC’05, Ahn, Hopper and Langford introduced the notion of covert computation. A covert computation protocol is one in which parties can run a protocol without knowing if oth...
Nishanth Chandran, Vipul Goyal, Rafail Ostrovsky, ...
CIE
2005
Springer
15 years 6 months ago
Shrad: A Language for Sequential Real Number Computation
Since Di Gianantonio [1993] introduced his semantics for exact real omputation, there has always been a struggle to maintain data abstraction and efficiency as much as possible. T...
Amin Farjudian
MSE
2000
IEEE
102views Hardware» more  MSE 2000»
15 years 8 months ago
Ubiquitous Computing and Its Influence on MSE
More than a decade after its invention, Mark Weiser’s vision of ubiquitous computing finally seems to spark many research activities world wide. This article reviews the ideas b...
Max Miihlhiiuser
TCS
1998
15 years 3 months ago
Dynamical Recognizers: Real-Time Language Recognition by Analog Computers
We consider a model of analog computation which can recognize various languages in real time. We encode an input word as a point in Rd by composing iterated maps, and then apply i...
Cristopher Moore