Sciweavers

1199 search results - page 136 / 240
» Robust inference of trees
Sort
View
ECCV
2006
Springer
16 years 5 months ago
Studying Aesthetics in Photographic Images Using a Computational Approach
Aesthetics, in the world of art and photography, refers to the principles of the nature and appreciation of beauty. Judging beauty and other aesthetic qualities of photographs is a...
Ritendra Datta, Dhiraj Joshi, Jia Li, James Ze Wan...
144
Voted
CIA
2007
Springer
15 years 10 months ago
A Probabilistic Framework for Decentralized Management of Trust and Quality
In this paper, we propose a probabilistic framework targeting three important issues in the computation of quality and trust in decentralized systems. Specifically, our approach a...
Le-Hung Vu, Karl Aberer
KBSE
2005
IEEE
15 years 9 months ago
Learning to verify branching time properties
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
Abhay Vardhan, Mahesh Viswanathan
138
Voted
IMC
2005
ACM
15 years 9 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
INFOCOM
2002
IEEE
15 years 8 months ago
Impromptu Measurement Infrastructures using RTP
— Dedicated infrastructures for end-to-end measurements are complex to deploy and manage. Equipment cost, the requirements for reporting bandwidth, and the administrative diversi...
Ramón Cáceres, Nick G. Duffield, Tim...