Sciweavers

2687 search results - page 312 / 538
» Formal Analysis of PKCS
Sort
View
ICCV
2001
IEEE
16 years 8 months ago
Statistical Context Priming for Object Detection
There is general consensus that context can be a rich source of information about an object's identity, location and scale. However, the issue of how to formalize contextual ...
Antonio B. Torralba, Pawan Sinha
ICML
2009
IEEE
16 years 7 months ago
Good learners for evil teachers
We consider a supervised machine learning scenario where labels are provided by a heterogeneous set of teachers, some of which are mediocre, incompetent, or perhaps even malicious...
Ofer Dekel, Ohad Shamir
185
Voted
CAV
2009
Springer
176views Hardware» more  CAV 2009»
16 years 7 months ago
PAT: Towards Flexible Verification under Fairness
Recent development on distributed systems has shown that a variety of fairness constraints (some of which are only recently defined) play vital roles in designing self-stabilizing ...
Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jun Pa...
ICDAR
2009
IEEE
16 years 1 months ago
The Understanding and Structure Analyzing for Online Handwritten Chemical Formulas
In this paper, we propose a novel approach for understanding and analyzing the online handwritten chemical formulas. With the structural characteristics, semantic rules, and more ...
Xin Wang, Guangshun Shi, Jufeng Yang
INFOCOM
2009
IEEE
16 years 1 months ago
Absence of Evidence as Evidence of Absence: A Simple Mechanism for Scalable P2P Search
Abstract—We propose a novel search mechanism for unstructured p2p networks, and show that it is both scalable, i.e., it leads to a bounded query traffic load per peer as the pee...
Stratis Ioannidis, Peter Marbach