Sciweavers

102 search results - page 9 / 21
» A formal analysis of the AIF in terms of the ASPIC framework
Sort
View
ICCV
2001
IEEE
14 years 9 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
CCS
2007
ACM
14 years 1 months ago
Analyzing the vulnerability of superpeer networks against attack
In this paper, we develop an analytical framework to measure the vulnerability of superpeer networks against attack. Two different kinds of attacks namely deterministic and degre...
Bivas Mitra, Fernando Peruani, Sujoy Ghose, Niloy ...
ATAL
2009
Springer
14 years 2 months ago
Unifying preference and judgment aggregation
The paper proposes a unification of the two main frameworks commonly used for the analysis of collective decisionmaking: the framework of preference aggregation, developed from t...
Davide Grossi
SAS
1992
Springer
171views Formal Methods» more  SAS 1992»
13 years 11 months ago
Static Analysis of CLP Programs over Numeric Domains
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi
DAS
2008
Springer
13 years 9 months ago
On the Reading of Tables of Contents
This paper presents a framework for understanding tables of contents (TOC) of books, journals, and magazines. We propose a universal logical structure representation in terms of a...
Prateek Sarkar, Eric Saund