3886 search results - page 551 / 778 » Toward Recovery-Oriented Computing |
151
click to vote
MKM
2007
Springer
16 years 10 days ago
2007
Springer
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...
170
click to vote
SOCASE
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. This paper contributes to a line of research that aims to apply agent-oriented techniques in the field of service-oriented computing. In particular, we propose to use go...
140
click to vote
TAMC
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. Formal language learning models have been widely investigated in the last four decades. But it was not until recently that the model of learning from corrections was intr...
184
click to vote
VLDB
2007
ACM
16 years 9 days ago
2007
ACM
Top-k queries on large multi-attribute data sets are fundamental operations in information retrieval and ranking applications. In this paper, we initiate research on the anytime b...
170
click to vote
IJCNN
2006
IEEE
16 years 7 days ago
2006
IEEE
—It is proposed that the creation of Artificial General Intelligence (AGI) at the human level and ultimately beyond is a problem addressable via integrating computer science algo...