Sciweavers

1384 search results - page 97 / 277
» Physical limits of inference
Sort
View
HT
2005
ACM
15 years 7 months ago
Parsing and interpreting ambiguous structures in spatial hypermedia
When reflecting on information, spatial hypermedia users express their understanding of the information’s structure visually. In order to facilitate this process, spatial hyperm...
Luis Francisco-Revilla, Frank M. Shipman III
IMC
2005
ACM
15 years 7 months ago
Exploiting Internet Route Sharing for Large Scale Available Bandwidth Estimation
Recent progress in active measurement techniques has made it possible to estimate end-to-end path available bandwidth. However, how to efficiently obtain available bandwidth info...
Ningning Hu, Peter Steenkiste
FM
2003
Springer
108views Formal Methods» more  FM 2003»
15 years 7 months ago
Correctness of Source-Level Safety Policies
Abstract. Program certification techniques formally show that programs satisfy certain safety policies. They rely on the correctness of the safety policy which has to be establish...
Ewen Denney, Bernd Fischer 0002
COLT
2001
Springer
15 years 6 months ago
On the Synthesis of Strategies Identifying Recursive Functions
A classical learning problem in Inductive Inference consists of identifying each function of a given class of recursive functions from a finite number of its output values. Unifor...
Sandra Zilles
RT
2001
Springer
15 years 6 months ago
Realistic Reflections and Refractions on Graphics Hardware with Hybrid Rendering and Layered Environment Maps
We introduce hybrid rendering, a scheme that dynamically ray traces the local geometry of reflective and refractive objects, but approximates more distant geometry by hardwaresupp...
Ziyad S. Hakura, John M. Snyder