Sciweavers

860 search results - page 85 / 172
» Completeness in two-party secure computation: a computationa...
Sort
View
JSCIC
2010
61views more  JSCIC 2010»
15 years 1 months ago
Modeling the Early Ionization of Dielectrics by Ultrashort Laser Pulses
In this paper, we present a model for propagation of intense and ultrashort laser pulses ionizing dielectrics. We consider early ionization so that this process is sufficiently we...
Antoine Bourgeade, Candice Mézel, Olivier S...
ICIP
1999
IEEE
16 years 7 months ago
3D Voxel Construction Based on Epipolar Geometry
In this paper, we propose an approach for construction of a projective 3D voxel space based on epipolar geometry obtained with weak calibration. This concept of voxel space define...
Makoto Kimura, Hideo Saito, Takeo Kanade
SARA
2007
Springer
16 years 9 days ago
Reformulation for Extensional Reasoning
Relational databases have had great industrial success in computer science. The power of the paradigm is made clear both by its widespread adoption and by theoretical analysis. Tod...
Timothy L. Hinrichs, Michael R. Genesereth
TIP
2008
165views more  TIP 2008»
15 years 6 months ago
Activity Modeling Using Event Probability Sequences
Changes in motion properties of trajectories provide useful cues for modeling and recognizing human activities. We associate an event with significant changes that are localized in...
Naresh P. Cuntoor, B. Yegnanarayana, Rama Chellapp...
IFIPTCS
2010
15 years 4 months ago
A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
Michele Boreale, David Clark, Daniele Gorla