Sciweavers

2799 search results - page 334 / 560
» computing 1998
Sort
View
ICCV
1998
IEEE
16 years 6 months ago
Stereo with Mirrors
I n this paper, we propose the use of mirrors and a single camerafor computational stereo. Whencompared to conventional stereo systems that use two cameras, our method has a numbe...
Sameer A. Nene, Shree K. Nayar
CSFW
1998
IEEE
15 years 8 months ago
Probabilistic Noninterference in a Concurrent Language
In previous work [16], we give a type system that guarantees that well-typed multithreaded programs are possibilistically noninterfering. If thread scheduling is probabilistic, ho...
Dennis M. Volpano, Geoffrey Smith
DAC
1998
ACM
16 years 5 months ago
Software Synthesis of Process-Based Concurrent Programs
We present a Petri net theoretic approach to the software synthesis problem that can synthesize ordinary C programs from processbased concurrent specifications without the need for...
Bill Lin
NDSS
1998
IEEE
15 years 8 months ago
Efficient Protocols for Signing Routing Messages
In this work, we aim to reduce the computational costs of using public-key digital signatures in securing routing protocols. Two protocols (COSP and IOSP) using one-time digitalsi...
Kan Zhang
SIGGRAPH
1998
ACM
15 years 8 months ago
A Multiscale Model of Adaptation and Spatial Vision for Realistic Image Display
In this paper we develop a computational model of adaptation and spatial vision for realistic tone reproduction. The model is based on a multiscale representation of pattern, lumi...
Sumanta N. Pattanaik, James A. Ferwerda, Mark D. F...