Sciweavers

439 search results - page 61 / 88
» Unnesting Arbitrary Queries
Sort
View
CORR
2007
Springer
103views Education» more  CORR 2007»
13 years 9 months ago
Interactive Small-Step Algorithms I: Axiomatization
Abstract. In earlier work, the Abstract State Machine Thesis — that arbitrary algore behaviorally equivalent to abstract state machines — was established for several classes of...
Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Ben...
PVLDB
2008
110views more  PVLDB 2008»
13 years 9 months ago
Online maintenance of very large random samples on flash storage
Recent advances in flash media have made it an attractive alternative for data storage in a wide spectrum of computing devices, such as embedded sensors, mobile phones, PDA's...
Suman Nath, Phillip B. Gibbons
IACR
2011
173views more  IACR 2011»
12 years 9 months ago
All-But-Many Lossy Trapdoor Functions
We put forward a generalization of lossy trapdoor functions (LTFs). Namely, all-but-many lossy trapdoor functions (ABM-LTFs) are LTFs that are parametrized with tags. Each tag can...
Dennis Hofheinz
SAS
2012
Springer
208views Formal Methods» more  SAS 2012»
12 years 7 days ago
Finding Non-terminating Executions in Distributed Asynchronous Programs
Programming distributed and reactive asynchronous systems is complex due to the lack of synchronization between concurrently executing tasks, and arbitrary delay of message-based c...
Michael Emmi, Akash Lal
ICCV
1998
IEEE
14 years 11 months ago
Retrieving Images by Appearance
A system to retrieve images using a description of the image intensity surface is presented. Gaussian derivative lters at several scales are applied to the image and low order 2D ...
S. Ravela, R. Manmatha