614 search results - page 47 / 123 » aime 2003 |
AIIA
2003
Springer
15 years 5 months ago
2003
Springer
This paper aims at presenting the application of first-order logic machine learning techniques to two document domains in order to learn rules for recognizing the semantic role of...
132
click to vote
AMKM
2003
Springer
15 years 5 months ago
2003
Springer
In this article we describe a computational architecture called MC2 that brings together a set of tools that contribute to the knowledge management process by allowing for the cre...
AP2PC
2003
Springer
15 years 5 months ago
2003
Springer
In this paper, we explore an architecture, called K-Trek, that enables mobile users to travel across knowledge distributed over large geographical areas (ranging from large public ...
ASIAN
2003
Springer
15 years 5 months ago
2003
Springer
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automated verification usually fails for functions with accumulating ar...
AUSAI
2003
Springer
15 years 5 months ago
2003
Springer
Negotiation between two trading agents is a two-stage process. First, the agents exchange offers whilst acquiring and exchanging information. Second, they attempt to reach a mutual...