Sciweavers

12347 search results - page 2179 / 2470
» Intelligent Integration of Information
Sort
View
MATES
2004
Springer
16 years 19 hour ago
Paraconsistent Assertions
Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where inconsistency does not lead to such an exp...
Jørgen Villadsen
PRICAI
2004
Springer
16 years 13 hour ago
Solving Over-Constrained Temporal Reasoning Problems Using Local Search
Temporal reasoning is an important task in many areas of computer science including planning, scheduling, temporal databases and instruction optimisation for compilers. Given a kno...
Matthew Beaumont, John Thornton, Abdul Sattar, Mic...
PRICAI
2004
Springer
16 years 13 hour ago
Dynamically Determining Affect During Scripted Dialogue
Autonomous synthetic actors performing in live stage performances must be capable of generating speech that is not only lexically correct, but emotionally correct; affect can be co...
Tony A. Meyer
PRICAI
2004
Springer
16 years 13 hour ago
Shape Matching for Robot Mapping
We present a novel geometric model for robot mapping based on shape. Shape similarity measure and matching techniques originating from computer vision are specially redesigned for ...
Diedrich Wolter, Longin Jan Latecki
ROCAI
2004
Springer
16 years 12 hour ago
Learning Mixtures of Localized Rules by Maximizing the Area Under the ROC Curve
We introduce a model class for statistical learning which is based on mixtures of propositional rules. In our mixture model, the weight of a rule is not uniform over the entire ins...
Tobias Sing, Niko Beerenwinkel, Thomas Lengauer
« Prev « First page 2179 / 2470 Last » Next »