Sciweavers

1313 search results - page 58 / 263
» Generic Universe Types
Sort
View
COLING
1990
15 years 1 months ago
Three Typed Pragmatics for Dialogue Structure Analysis
An experimental system for dialogue structure analysis based on a new type plan recognition model for spoken dialogues has been implemented. This model is realized by using four t...
Hitoshi Iida, Takayuki Yamaoka, Hidekazu Arita
CIE
2008
Springer
15 years 1 months ago
Interpreting Localized Computational Effects Using Operators of Higher Type
d abstract) John Longley Laboratory for Foundations of Computer Science School of Informatics, University of Edinburgh The King's Buildings, Mayfield Road Edinburgh EH9 3JZ, U...
John Longley
MCU
2004
105views Hardware» more  MCU 2004»
15 years 1 months ago
Computational Universality in Symbolic Dynamical Systems
Many different definitions of computational universality for various types of systems have flourished since Turing's work. In this paper, we propose a general definition of un...
Jean-Charles Delvenne, Petr Kurka, Vincent D. Blon...
FUIN
2006
85views more  FUIN 2006»
14 years 12 months ago
Decidability and Universality in Symbolic Dynamical Systems
Many different definitions of computational universality for various types of dynamical systems have flourished since Turing's work. We propose a general definition of univers...
Jean-Charles Delvenne, Petr Kurka, Vincent D. Blon...
CTRSA
2004
Springer
89views Cryptology» more  CTRSA 2004»
15 years 5 months ago
Universal Re-encryption for Mixnets
We introduce a new cryptographic technique that we call universal re-encryption. A conventional cryptosystem that permits reencryption, such as ElGamal, does so only for a player w...
Philippe Golle, Markus Jakobsson, Ari Juels, Paul ...