Sciweavers

206 search results - page 23 / 42
» Sharing in the Weak Lambda-Calculus
Sort
View
LREC
2010
175views Education» more  LREC 2010»
15 years 1 months ago
Ad-hoc Evaluations Along the Lifecycle of Industrial Spoken Dialogue Systems: Heading to Harmonisation?
With a view to rationalise the evaluation process within the Orange Labs spoken dialogue system projects, a field audit has been realised among the various related professionals. ...
Marianne Laurent, Philippe Bretier, Carole Manquil...
105
Voted
OPODIS
2004
15 years 1 months ago
A Constraint-Based Formalism for Consistency in Replicated Systems
Abstract. We present a formalism for modeling replication in a distributed system with concurrent users sharing information. It is based on actions, which represent operations requ...
Marc Shapiro, Karthikeyan Bhargavan, Nishith Krish...
CORR
2010
Springer
88views Education» more  CORR 2010»
15 years 17 days ago
Communication and Round Efficient Information Checking Protocol
In this paper, we present a very important primitive called Information Checking Protocol (ICP) which plays an important role in constructing statistical Verifiable Secret Sharing...
Arpita Patra, C. Pandu Rangan
104
Voted
ECCV
2010
Springer
15 years 20 days ago
Seeing People in Social Context: Recognizing People and Social Relationships
The people in an image are generally not strangers, but instead often share social relationships such as husband-wife, siblings, grandparent-child, father-child, or mother-child. F...
Gang Wang, Andrew C. Gallagher, Jiebo Luo, David A...
90
Voted
JSAC
2010
170views more  JSAC 2010»
14 years 7 months ago
Anti-jamming broadcast communication using uncoordinated spread spectrum techniques
Jamming-resistant communication is crucial for safety-critical applications such as emergency alert broadcasts or the dissemination of navigation signals in adversarial settings. I...
Christina Pöpper, Mario Strasser, Srdjan Capk...