Sciweavers

3808 search results - page 542 / 762
» Artificial Intelligence: A Modern Approach
Sort
View
MICAI
2010
Springer
15 years 4 months ago
Towards Document Plagiarism Detection Based on the Relevance and Fragmentation of the Reused Text
Traditionally, External Plagiarism Detection has been carried out by determining and measuring the similar sections between a given pair of documents, known as source and suspiciou...
Fernando Sánchez-Vega, Luis Villaseñ...
CP
2009
Springer
15 years 4 months ago
Lazy Clause Generation Reengineered
Abstract. Lazy clause generation is a powerful hybrid approach to combinatorial optimization that combines features from SAT solving and finite domain (FD) propagation. In lazy cla...
Thibaut Feydy, Peter J. Stuckey
FLAIRS
2009
15 years 4 months ago
Unit Testing for Qualitative Spatial and Temporal Reasoning
Researchers in commonsense, qualitative spatial and temporal reasoning (QSTR) provide flexible and intuitive methods for reasoning about vague and uncertain information including ...
Carl P. L. Schultz, Robert Amor, Hans W. Guesgen
192
Voted
ICTAI
2009
IEEE
15 years 4 months ago
TiMDPpoly: An Improved Method for Solving Time-Dependent MDPs
We introduce TiMDPpoly, an algorithm designed to solve planning problems with durative actions, under probabilistic uncertainty, in a non-stationary, continuous-time context. Miss...
Emmanuel Rachelson, Patrick Fabiani, Fréd&e...
ANTSW
2010
Springer
15 years 4 months ago
A Robotic Validation of the Attractive Field Model: An Inter-disciplinary Model of Self-regulatory Social Systems
Division of labour in multi-robot systems or multi-robot task allocation (MRTA) is a challenging research issue. We propose to solve this MRTA problem using a set of previously pub...
M. Omar Faruque Sarker, Torbjørn S. Dahl