Sciweavers

265 search results - page 16 / 53
» Context in Artificial Intelligence: I. A Survey of the Liter...
Sort
View
CP
1998
Springer
13 years 11 months ago
Random Constraint Satisfaction: Theory Meets Practice
Abstract. We study the experimental consequences of a recent theoretical result by Achlioptas et al. that shows that conventional models of random problems are trivially insoluble ...
Ewan MacIntyre, Patrick Prosser, Barbara M. Smith,...
ECAI
2008
Springer
13 years 9 months ago
Propositional merging operators based on set-theoretic closeness
In the propositional setting, a well-studied family of merging operators are distance-based ones: the models of the merged base are the closest interpretations to the given profile...
Patricia Everaere, Sébastien Konieczny, Pie...
AI
2007
Springer
13 years 7 months ago
On principle-based evaluation of extension-based argumentation semantics
The increasing variety of semantics proposed in the context of Dung’s theory of argumentation makes more and more inadequate the example-based approach commonly adopted for eval...
Pietro Baroni, Massimiliano Giacomin
TSP
2010
13 years 2 months ago
A complex generalized Gaussian distribution: characterization, generation, and estimation
The generalized Gaussian distribution (GGD) provides a flexible and suitable tool for data modeling and simulation, however the characterization of the complex-valued GGD, in parti...
Mike Novey, Tülay Adali, Anindya Roy
CSCLP
2008
Springer
13 years 9 months ago
Challenges in Constraint-Based Analysis of Hybrid Systems
In the analysis of hybrid discrete-continuous systems, rich arithmetic constraint formulae with complex Boolean structure arise naturally. The iSAT algorithm, a solver for such for...
Andreas Eggers, Natalia Kalinnik, Stefan Kupfersch...