Sciweavers

8555 search results - page 1438 / 1711
» Property Based Coordination
Sort
View
CRYPTO
1995
Springer
135views Cryptology» more  CRYPTO 1995»
15 years 10 months ago
Committed Oblivious Transfer and Private Multi-Party Computation
Abstract. In this paper we present an eficient protocol for “Committed Oblivious Transfer” to perform oblivious transfer on committed bits: suppose Alice is committed to bits 0...
Claude Crépeau, Jeroen van de Graaf, Alain ...
WFLP
2000
Springer
124views Algorithms» more  WFLP 2000»
15 years 10 months ago
A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
Elvira Albert, Sergio Antoy, Germán Vidal
GIS
1995
ACM
15 years 10 months ago
Measuring the Complexity of Polygonal Objects
Polygonal objects are characterized by the following well-known parameters: number of vertices, area, perimeter and so on. These parameters describe the data sets that are used in...
Thomas Brinkhoff, Hans-Peter Kriegel, Ralf Schneid...
ICCV
1995
IEEE
15 years 10 months ago
Segmented Shape Descriptions from 3-View Stereo
Abstract: We address the recovery of segmented, 3-0 descriptions of an object from intensity images. We use three views of an objectfrom slightly different viewpointsas our input. ...
Parag Havaldar, Gérard G. Medioni
ICIAP
1995
ACM
15 years 10 months ago
Image Retrieval by Elastic Matching of User Sketches
—Effective image retrieval by content from database requires that visual image properties are used instead of textual labels to properly index and recover pictorial data. Retriev...
Alberto Del Bimbo, Pietro Pala
« Prev « First page 1438 / 1711 Last » Next »