2097 search results - page 237 / 420 » Knowledge Base Maintenance through Knowledge Representation |
124
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
I present a new estimation-of-distribution approach to program evolution where distributions are not estimated over the entire space of programs. Rather, a novel representationbui...
169
click to vote
MKM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The relationship between theorems and lemmas in mathematical reasoning is often vague. No system exists that formalizes the structure of theorems in a mathematical librar...
130
click to vote
SSPR
2004
Springer
15 years 10 months ago
2004
Springer
Concavity trees are structures for 2-D shape representation. In this paper, we present a new recursive method for concavity tree matching that returns the distance between two attr...
143
click to vote
IDEAL
2003
Springer
15 years 9 months ago
2003
Springer
This paper describes the multi-agent organization of a computer system that was designed to assist operators in decision making in the presence of emergencies. The application was ...
140
click to vote
FCCM
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents an FPGA-based design and implementation of a three dimensional (3D) triangle mesh decompressor. Triangle mesh is the dominant representation of 3D geometric mo...