Sciweavers

424 search results - page 20 / 85
» types 1999
Sort
View
ICFP
1999
ACM
15 years 2 months ago
Principals in Programming Languages: A Syntactic Proof Technique
Programs are often structured around the idea that different pieces of code comprise distinct principals, each with a view of its environment. Typical examples include the module...
Steve Zdancewic, Dan Grossman, J. Gregory Morriset...
DASFAA
1999
IEEE
84views Database» more  DASFAA 1999»
15 years 2 months ago
P-Tree: A B-Tree Index for Lists
The high frequency of applications involving large, ordered, nested lists suggests that list is the "next most" natural data type after set. A list differs from a set th...
Ke Wang, Beng Chin Ooi, Sam Yuan Sung
FC
1999
Springer
97views Cryptology» more  FC 1999»
15 years 2 months ago
Playing "Hide and Seek" with Stored Keys
In this paper we consider the problem of efficiently locating cryptographic keys hidden in gigabytes of data, such as the complete file system of a typical PC. We describe efficie...
Adi Shamir, Nicko van Someren
ICMCS
1999
IEEE
172views Multimedia» more  ICMCS 1999»
15 years 2 months ago
Scene Determination Based on Video and Audio Features
Determining automatically what constitutes a scene in a video is a challenging task, particularly since there is no precise definition of the term "scene". It is left to...
Rainer Lienhart, Silvia Pfeiffer, Wolfgang Effelsb...
ECAL
1999
Springer
15 years 2 months ago
Evolving Behavioural Choice: An Investigation into Herrnstein's Matching Law
In 1961, Herrnstein [4] famously observed that many animals match the frequency of their response to different stimuli in proportion to the reinforcement obtained from each stimul...
Anil K. Seth