Sciweavers

2312 search results - page 395 / 463
» Invariance in Property Testing
Sort
View
SIGIR
2010
ACM
13 years 10 months ago
Analysis of structural relationships for hierarchical cluster labeling
Cluster label quality is crucial for browsing topic hierarchies obtained via document clustering. Intuitively, the hierarchical structure should influence the labeling accuracy. H...
Markus Muhr, Roman Kern, Michael Granitzer
AR
2008
188views more  AR 2008»
13 years 10 months ago
Intentional Control for Planetary Rover SRR
Intentional behavior is a basic property of intelligence and it incorporates the cyclic operation of prediction, testing by action, sensing, perceiving, and assimilating the exper...
Robert Kozma, Terry Huntsberger, Hrand Aghazarian,...
CGF
2008
101views more  CGF 2008»
13 years 10 months ago
Stereo Light Probe
In this paper we present a practical, simple and robust method to acquire the spatially-varying illumination of a real-world scene. The basic idea of the proposed method is to acq...
Massimiliano Corsini, Marco Callieri, Paolo Cignon...
CORR
2010
Springer
152views Education» more  CORR 2010»
13 years 10 months ago
Automatic analysis of distance bounding protocols
Distance bounding protocols are used by nodes in wireless networks for the crucial purpose of estimating their distances to other nodes. Past efforts to analyze these protocols hav...
Sreekanth Malladi, Bezawada Bruhadeshwar, Kishore ...
CORR
2010
Springer
66views Education» more  CORR 2010»
13 years 10 months ago
Certifying cost annotations in compilers
We discuss the problem of building a compiler which can lift in a provably correct way pieces of information on the execution cost of the object code to cost annotations on the so...
Roberto M. Amadio, Nicholas Ayache, Yann Ré...