Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
AIMSA
2008
Springer
10 years 6 months ago
DynABT: Dynamic Asynchronous Backtracking for Dynamic DisCSPs
Abstract. Constraint Satisfaction has been widely used to model static combinatorial problems. However, many AI problems are dynamic and take place in a distributed environment, i....
Bayo Omomowo, Inés Arana, Hatem Ahriz
AIMSA
2008
Springer
10 years 6 months ago
A Hybrid Approach to Distributed Constraint Satisfaction
We present a hybrid approach to Distributed Constraint Satisfaction which combines incomplete, fast, penalty-based local search with complete, slower systematic search. Thus, we pr...
David Lee, Inés Arana, Hatem Ahriz, Kit-Yin...
AIMSA
2008
Springer
10 years 6 months ago
Interleaved Alldifferent Constraints: CSP vs. SAT Approaches
In this paper, we want to handle multiple interleaved Alldiff constraints from two points of view: a uniform propagation framework with some CSP reduction rules and a SAT encoding ...
Frédéric Lardeux, Eric Monfroy, Fr&e...
AIMSA
2008
Springer
10 years 10 months ago
Interpolative Boolean Logic
Dragan G. Radojevic, Aleksandar Perovic, Zoran Ogn...
AIMSA
2008
Springer
10 years 10 months ago
Abstract Argumentation Scheme Frameworks
Katie Atkinson, Trevor J. M. Bench-Capon
AIMSA
2008
Springer
10 years 10 months ago
Thematic Segment Retrieval Revisited
Documents, especially long ones, may contain very diverse passages related to different topics. Passages Retrieval approaches have shown that, in most cases, there is a great pote...
Sylvain Lamprier, Tassadit Amghar, Bernard Levrat,...
AIMSA
2008
Springer
10 years 10 months ago
ASAP- An Advanced System for Assessing Chat Participants
: Although instant messaging is a very popular tool for collaboration and it has been used for a wide variety of CSCL tasks, there are only a few applications for assisting the tut...
Mihai Dascalu, Erol-Valeriu Chioasca, Stefan Traus...
AIMSA
2008
Springer
10 years 10 months ago
A Social and Emotional Model for Obtaining Believable Emergent Behaviors
Abstract This paper attempts to define an emotional model for virtual agents that behave autonomously in social worlds. We adopt shallow modeling based on the decomposition of the...
Javier Asensio, Marta Jiménez, Susana Fern&...
AIMSA
2008
Springer
10 years 10 months ago
Incorporating Learning in Grid-Based Randomized SAT Solving
Abstract. Computational Grids provide a widely distributed computing environment suitable for randomized SAT solving. This paper develops techniques for incorporating learning, kno...
Antti Eero Johannes Hyvärinen, Tommi A. Juntt...
books