3446 search results - page 175 / 690 » A Reasoning Algorithm for pD* |
129
click to vote
GIS
2010
ACM
15 years 2 months ago
2010
ACM
This paper proposes an efficient, decentralized algorithm for determining the topological relationship between two regions monitored by a geosensor network. Many centralized algo...
125
click to vote
INFOCOM
2008
IEEE
15 years 10 months ago
2008
IEEE
—In this paper, we consider the problem of designing scheduling algorithm for input queued switch that is both fair as well as throughput optimal. The significant body of litera...
127
click to vote
FUZZIEEE
2007
IEEE
15 years 10 months ago
2007
IEEE
— The application of Qualitative Reasoning to Learning Algorithms can provide these models with the capability of automate common-sense and expert reasoning. Learning algorithms ...
164
Voted
DLOG
2007
15 years 6 months ago
2007
In Description Logics (DLs), both tableau-based and automata-based algorithms are frequently used to show decidability and complexity results for basic inference problems such as c...
102
click to vote
CSL
2008
Springer
15 years 6 months ago
2008
Springer
not use pointer arithmetic. Such "pure pointer algorithms" thus are a useful abstraction for studying the nature of logspace-computation. In this paper we introduce a for...