Sciweavers

5592 search results - page 375 / 1119
» On Random Betweenness Constraints
Sort
View
CCS
2011
ACM
14 years 6 months ago
Trace equivalence decision: negative tests and non-determinism
We consider security properties of cryptographic protocols that can be modeled using the notion of trace equivalence. The notion of equivalence is crucial when specifying privacy-...
Vincent Cheval, Hubert Comon-Lundh, Stéphan...
GLOBECOM
2007
IEEE
16 years 1 months ago
DSR-Based Directional Routing Protocol for Ad Hoc Networks
Abstract— In this paper, a Dynamic Source Routing (DSR)based directional routing protocol is invoked for wireless ad hoc networks using directional antennas. This is designed to ...
Bin Hu, Hamid Gharavi
LREC
2008
73views Education» more  LREC 2008»
15 years 8 months ago
Acquisition and Evaluation of a Dialog Corpus through WOz and Dialog Simulation Techniques
In this paper, we present a comparison between two corpora acquired by means of two different techniques. The first corpus was acquired by means of the Wizard of Oz technique. A d...
David Griol, Lluís F. Hurtado, Encarna Sega...
COLING
1996
15 years 8 months ago
Pattern-Based Machine Translation
Pattern-based machine translation systems can be easily customized by adding new patterns. To gain full profits from this character, input of patterns should be both expressive an...
Koichi Takeda
IJON
2010
119views more  IJON 2010»
15 years 4 months ago
V-Proportion: A method based on the Voronoi diagram to study spatial relations in neuronal mosaics of the retina
The visual system plays a predominant role in the human perception. Although all components of the eye are important to perceive visual information, the retina is a fundamental pa...
Óscar Martínez Mozos, Jose Angel Bol...