Sciweavers

2799 search results - page 334 / 560
» computing 1998
Sort
View
ICCV
1998
IEEE
16 years 8 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 10 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 7 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 10 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 10 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...