1127 search results - page 50 / 226 » Theory Extension in ACL2(r) |
112
Voted
CLIN
2004
15 years 2 months ago
2004
Research on Question Answering is focused mainly on classifying the question type and finding the answer. Presenting the answer in a way that suits the user's needs has recei...
105
Voted
DAM
2008
15 years 24 days ago
2008
This paper presents the axioms of a real time random walk on the set of states of a medium and some of their consequences, such as the asymptotic probabilities of the states. The ...
125
Voted
AGENTS
1997
Springer
15 years 4 months ago
1997
Springer
The coordination problem in multi-agent systems is the problem of managing dependencies between the activities of autonomous agents, in conditions of incomplete knowledge about th...
131
click to vote
INTEGRATION
2008
15 years 22 days ago
2008
Abstract: Hybrid-redundant number representation has provided a flexible framework for digitparallel addition in a manner that facilitates area-time tradeoffs for VLSI implementati...
103
click to vote
JAIR
2008
15 years 22 days ago
2008
In this paper, we propose a set of tasks that are relevant for the modular reuse of ontologies. In order to formalize these tasks as reasoning problems, we introduce the notions o...