Sciweavers

2253 search results - page 66 / 451
» The ComFoRT Reasoning Framework
Sort
View
ASAP
2004
IEEE
171views Hardware» more  ASAP 2004»
14 years 15 days ago
CHARMED: A Multi-Objective Co-Synthesis Framework for Multi-Mode Embedded Systems
In this paper, we present a modular co-synthesis framework called CHARMED that solves the problem of hardware-software co-synthesis of periodic, multi-mode, distributed, embedded ...
Vida Kianzad, Shuvra S. Bhattacharyya
FGR
1996
IEEE
119views Biometrics» more  FGR 1996»
14 years 27 days ago
A probabilistic framework for perceptual grouping of features for human face detection
Present approaches to human face detection have made several assumptions that restrict their ability to be extended to general imaging conditions. We identify that the key factori...
Kin Choong Yow, Roberto Cipolla
ATAL
2007
Springer
14 years 22 days ago
A unified and general framework for argumentation-based negotiation
This paper proposes a unified and general framework for argumentation-based negotiation, in which the role of argumentation is formally analyzed. The framework makes it possible t...
Leila Amgoud, Yannis Dimopoulos, Pavlos Moraitis
IJCAI
2001
13 years 10 months ago
A Framework for Declarative Update Specifications in Logic Programs
Recently, several approaches for updating knowledge bases represented as logic programs have been proposed. In this paper, we present a generic framework for declarative specifica...
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Ha...
FSS
2008
145views more  FSS 2008»
13 years 8 months ago
A logic programming framework for possibilistic argumentation: Formalization and logical properties
In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has s...
Teresa Alsinet, Carlos Iván Chesñeva...