Sciweavers

1995 search results - page 69 / 399
» What's the Problem
Sort
View
117
Voted
SYNASC
2007
IEEE
105views Algorithms» more  SYNASC 2007»
15 years 10 months ago
Decompositions of Natural Numbers: From a Case Study in Mathematical Theory Exploration
In this technical report we present the proofs of properties appearing when solving the problem of prime decomposition of natural numbers using a scheme-based systematic exploratio...
Adrian Craciun, Madalina Hodorog
119
Voted
KR
2000
Springer
15 years 7 months ago
Representing the Knowledge of a Robot
Acquiring information about its environment by sensing is a crucial ability of autonomous robots. Based on the established solution to the Frame Problem of the Fluent Calculus, we...
Michael Thielscher
122
Voted
FLAIRS
2007
15 years 6 months ago
An Extended Neural Gas Model for Efficient Data Mining Tasks
This paper presents a numerical association rule extraction method that is based on original quality measures which evaluate to what extent a numerical classification model behave...
Jean-Charles Lamirel, Shadi Al Shehabi
142
Voted
FLAIRS
2004
15 years 5 months ago
Case-Agents: A Novel Architecture for Case-Based Agents
This paper describes a novel architecture for a casebased reasoning (CBR) system. Unlike other agent CBR systems in this architecture every case is an autonomous agent with its ow...
Ian Watson
113
Voted
IJCAI
1989
15 years 4 months ago
Visual Reasoning in Geometry Theorem Proving
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 ...
Michelle Y. Kim