Sciweavers

674 search results - page 85 / 135
» From Constructibility and Absoluteness to Computability and ...
Sort
View
AGS
2009
Springer
15 years 8 months ago
Intelligent Agent Modeling as Serious Game
We propose a novel approach to intelligent tutoring gaming simulations designed for both educational and inquiry purposes in complex multi-actor systems such as infrastructures or...
D. W. F. van Krevelen
115
Voted
PODC
2004
ACM
15 years 7 months ago
Signed quorum systems
Abstract With n servers that independently fail with probability of p < 0.5, it is well known that the majority quorum system achieves the best availability among all quorum sys...
Haifeng Yu
APPROX
2010
Springer
139views Algorithms» more  APPROX 2010»
15 years 3 months ago
Two-Source Extractors Secure against Quantum Adversaries
We initiate the study of multi-source extractors in the quantum world. In this setting, our goal is to extract random bits from two independent weak random sources, on which two q...
Roy Kasher, Julia Kempe
ICCV
1998
IEEE
16 years 3 months ago
Shading Primitives: Finding Folds and Shallow Grooves
Diffuse interreflections cause effects that make current theories of shape from shading unsatisfactory. We show that distant radiating surfaces produce radiosity effects at low sp...
John A. Haddon, David A. Forsyth
IJFCS
2002
58views more  IJFCS 2002»
15 years 1 months ago
Vector Algorithms for Approximate String Matching
Vector algorithms allow the computation of an output vector r = r1r2 :::rm given an input vector e = e1e2 :::em in a bounded number of operations, independent of m the length of t...
Anne Bergeron, Sylvie Hamel