Sciweavers

877 search results - page 56 / 176
» Structural Cut Elimination
Sort
View
UAI
1998
13 years 9 months ago
Structured Reachability Analysis for Markov Decision Processes
Recent research in decision theoretic planning has focussedon making the solution of Markov decision processes (MDPs) more feasible. We develop a family of algorithms for structur...
Craig Boutilier, Ronen I. Brafman, Christopher W. ...
FSE
2006
Springer
116views Cryptology» more  FSE 2006»
13 years 11 months ago
On Feistel Structures Using a Diffusion Switching Mechanism
We study a recently proposed design approach of Feistel structure which employs diffusion matrices in a switching way. At ASIACRYPT 2004, Shirai and Preneel have proved that large ...
Taizo Shirai, Kyoji Shibutani
ACSC
2001
IEEE
13 years 11 months ago
Efficiency of Data Structures for Detecting Overlaps in Digital Documents
This paper analyses the efficiency of different data structures for detecting overlap in digital documents. Most existing approaches use some hash function to reduce the space req...
Krisztián Monostori, Arkady B. Zaslavsky, H...
COGSCI
2004
85views more  COGSCI 2004»
13 years 7 months ago
Mapping relational structure in spatial reasoning
Three experiments investigated whether the similarity of relational structures influences the interpretation of spatial representations. Adults were shown diagrams of hand gesture...
Merideth Gattis
WSCG
2003
155views more  WSCG 2003»
13 years 9 months ago
Recovering Registered Geometry and High Dynamic Range Texture with Coded Structured Light
In the last two decades the problem of accurately capturing the geometry of an object was extensively studied, while the acquisition of high-quality textures only in recent years ...
Asla Medeiros Sá, Paulo Cezar Pinto Carvalh...