2958 search results - page 404 / 592 » Extending and Implementing RASP |
125
Voted
ICCSA
2004
Springer
15 years 8 months ago
2004
Springer
The use of ontologies lies at the very heart of the newly emerging era of Semantic Web. They provide a shared conceptualization of some domain that may be communicated between peop...
136
Voted
ICSOC
2004
Springer
15 years 8 months ago
2004
Springer
In this paper, we present a solution to the problem of dynamically deploying grid service factories onto computing nodes running an implementation of the Open Grid Services Infras...
122
Voted
ISER
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper describes the implementation of a decentralized architecture for autonomous teams of aerial and ground vehicles engaged in active perception. We provide a theo...
117
Voted
MKM
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of definitions, which often use overloaded notation. For e...
159
click to vote
NMR
2004
Springer
15 years 8 months ago
2004
Springer
The relation between answer set programming (ASP) and propositional satisfiability (SAT) is at the center of many research papers, partly because of the tremendous performance bo...