Sciweavers

9490 search results - page 1567 / 1898
» Slow Intelligence Systems
Sort
View
IROS
2009
IEEE
146views Robotics» more  IROS 2009»
16 years 1 months ago
Enhancing an automated Braille Writing Tutor
— The reported work advances the state-of-the-art in assistive technology for the blind by enhancing a low-cost automated tutor designed to teach braille writing skills to visual...
Mohammed Kaleemur Rahman, Saurabh Sanghvi, Noura E...
WOLLIC
2009
Springer
16 years 1 months ago
Sound and Complete Tree-Sequent Calculus for Inquisitive Logic
Abstract. We introduce a tree-sequent calculus for inquisitive logic (Groenendijk 2008) as a special form of labelled deductive system (Gabbay 1996). In particular, we establish th...
Katsuhiko Sano
WOLLIC
2009
Springer
16 years 1 months ago
Algebraic Valuations as Behavioral Logical Matrices
Abstract. The newly developed behavioral approach to the algebraization of logics extends the applicability of the methods of algebraic logic to a wider range of logical systems, n...
Carlos Caleiro, Ricardo Gonçalves
DSOM
2009
Springer
16 years 1 months ago
One Is Not Enough: A Hybrid Approach for IT Change Planning
Abstract. We propose a novel hybrid planning approach for the automated generation of IT change plans. The algorithm addresses an abstraction mismatch between refinement of tasks ...
Sebastian Hagen, Nigel Edwards, Lawrence Wilcock, ...
ICANN
2009
Springer
16 years 1 months ago
Measuring and Optimizing Behavioral Complexity for Evolutionary Reinforcement Learning
Model complexity is key concern to any artificial learning system due its critical impact on generalization. However, EC research has only focused phenotype structural complexity ...
Faustino J. Gomez, Julian Togelius, Jürgen Sc...
« Prev « First page 1567 / 1898 Last » Next »