Sciweavers

2657 search results - page 350 / 532
» On the complexity of hierarchical problem solving
Sort
View
JSW
2007
118views more  JSW 2007»
15 years 6 months ago
A New Formalism for Failure Diagnosis: Ant Colony Decision Petri Nets
— Failure diagnosis in large and complex systems is a critical task. A discrete event system (DES) approach to the problem of failure diagnosis is presented in this paper. A clas...
Calin Ciufudean, Adrian Graur, Constantin Filote, ...
AMAI
2004
Springer
15 years 6 months ago
Logical Preference Representation and Combinatorial Vote
We introduce the notion of combinatorial vote, where a group of agents (or voters) is supposed to express preferences and come to a common decision concerning a set of non-independ...
Jérôme Lang
CORR
2004
Springer
107views Education» more  CORR 2004»
15 years 6 months ago
Encapsulation for Practical Simplification Procedures
ACL2 was used to prove properties of two simplification procedures. The procedures differ in complexity but solve the same programming problem that arises in the context of a reso...
Olga Shumsky Matlin, William McCune
RAS
2002
67views more  RAS 2002»
15 years 6 months ago
Robotic clicker training
In this paper we want to propose the idea that some techniques used for animal training might be helpful for solving human robot interaction problems in the context of entertainme...
Frédéric Kaplan, Pierre-Yves Oudeyer...
SIGCSE
2002
ACM
128views Education» more  SIGCSE 2002»
15 years 6 months ago
Enhancing the quality of learning and understanding of first-year mathematics for computer science related majors
Most courses on Discrete Mathematics are designed to emphasize problem solving, in general. When the goal is to cover the content, the learning and understanding takes a second pl...
Francis Suraweera