1778 search results - page 97 / 356 » Building a Knowledge Base: An Example |
86
Voted
AISC
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We present a personal view and strategy for algorithm-supported mathematical theory exploration and draw some conclusions for the desirable functionality of future mathem...
129
Voted
AI
2008
Springer
15 years 25 days ago
2008
Springer
This article is inspired by recent psychological studies confirming that a child is not born a blank slate but has important innate capabilities. An important part of the "le...
WEBNET
1996
15 years 2 months ago
1996
Abstract: Alter Egos represent people in Cyberspace. An Alter Ego is a kind of intelligent agent who is active in performing actions in behalf of the person it represents. How thes...
107
Voted
COLING
1990
15 years 1 months ago
1990
We present here the current prototype of the text understanding system HELENE. The objective of this system is to achieve a deep understanding of small reports dealing with a rest...
FCT
2003
Springer
15 years 5 months ago
2003
Springer
We develop new proof techniques, based on non-interference, for the analysis of safety and liveness properties of cryptographic protocols expressed as terms of the process algebra ...