4352 search results - page 75 / 871 » A Representation Theorem and Applications |
120
click to vote
JKM
2007
15 years 19 days ago
2007
Purpose – The purpose of this article is to explore the potential of visualization for corporate knowledge management. Design/methodology/approach – The employed methodology c...
147
click to vote
FOCS
2005
IEEE
15 years 6 months ago
2005
IEEE
At the core of the seminal Graph Minor Theory of Robertson and Seymour is a powerful structural theorem capturing the structure of graphs excluding a fixed minor. This result is ...
106
Voted
CADE
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. We present a theorem proving environment for the development of reliable and efficient group communication systems. Our approach makes methods of automated deduction appl...
SARA
2000
Springer
15 years 4 months ago
2000
Springer
Cartography is one of the major application areas using geographical databases. Whether it is for the business of producing paper maps for sale, or whether it is for displaying map...
95
Voted
AAAI
1998
15 years 2 months ago
1998
The amount of use a knowledge representation system receives depends on more than just the theoretical suitability of the system. Some critical determiners of usage have to do wit...