Sciweavers

208 search results - page 4 / 42
» A New Direction in AI - Toward a Computational Theory of Per...
Sort
View
CIE
2005
Springer
14 years 1 months ago
Computability in Computational Geometry
We promote the concept of object directed computability in computational geometry in order to faithfully generalise the wellestablished theory of computability for real numbers and...
Abbas Edalat, Ali Asghar Khanban, André Lie...
AH
2000
Springer
13 years 11 months ago
Knowledge Computing Method for Enhancing the Effectiveness of a WWW Distance Education System
Abstract. The ultimate aim of our research is a free, evolutionary, Internetbased, agent-based, long-distance teaching environment for academic English. For this purpose, we are bu...
Alexandra I. Cristea, Toshio Okamoto
SIGCOMM
2010
ACM
13 years 7 months ago
Theory and new primitives for safely connecting routing protocol instances
Recent studies have shown that the current primitives for connecting multiple routing protocol instances (OSPF 1, OSPF 2, EIGRP 10, etc.) are pervasively deployed in enterprise ne...
Franck Le, Geoffrey G. Xie, Hui Zhang
SKG
2006
IEEE
14 years 1 months ago
The Theory Grid and Grid Theorists
This paper proposes a novel research direction: to build the Theory Grid as cooperatively shared formal theories within a virtual organization, and then to implement Grid Theorist...
Jingde Cheng, Shinsuke Nara, Takahiro Koh, Yuichi ...
CSL
2003
Springer
14 years 23 days ago
Generating All Abductive Explanations for Queries on Propositional Horn Theories
Abstract. Abduction is a fundamental mode of reasoning, which has taken on increasing importance in Artificial Intelligence (AI) and related disciplines. Computing abductive expla...
Thomas Eiter, Kazuhisa Makino