5086 search results - page 28 / 1018 » The Power of Comparative Reasoning |
ENTCS
2002
13 years 8 months ago
2002
The need to model systems and their different aspects leads to research and development of models which support all views of a system. The growing complexity of the software impos...
GCB
2010
Springer
13 years 6 months ago
2010
Springer
: The current high-throughput sequencing technologies produce gigabytes of data even when prokaryotic genomes are processed. In a subsequent assembly phase, the generated overlappi...
CSL
2000
Springer
14 years 1 months ago
2000
Springer
This paper introduces a typed λ-calculus called λPower , a predicative reformulation of part of Cardelli’s power type system. Power types integrate subtyping into the typing t...
IJIS
2002
13 years 8 months ago
2002
Meta-level architectures for dynamic control of reasoning processes are quite powerful. In the literature many applications in reasoning systems modelling complex tasks are descri...
IJCAI
1989
13 years 10 months ago
1989
We study the role of visual reasoning as a computationally feasible heuristic tool in geometry problem solving. We use an algebraic notation to represent geometric objects and to ...