Sciweavers

439 search results - page 61 / 88
» Unnesting Arbitrary Queries
Sort
View
CORR
2007
Springer
103views Education» more  CORR 2007»
15 years 10 days 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...
106
Voted
PVLDB
2008
110views more  PVLDB 2008»
14 years 12 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»
14 years 17 hour 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
108
Voted
SAS
2012
Springer
208views Formal Methods» more  SAS 2012»
13 years 2 months 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
96
Voted
ICCV
1998
IEEE
16 years 2 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