8828 search results - page 1366 / 1766 » Formal methods in practice |
175
click to vote
IPPS
2003
IEEE
16 years 8 days ago
2003
IEEE
One of the most important issues to deal with in peerto-peer networks is how to disseminate information. In this paper, we use a completely new approach to solving the information...
162
click to vote
TPHOL
2003
IEEE
16 years 8 days ago
2003
IEEE
MetaPRL is the latest system to come out of over twenty five years of research by the Cornell PRL group. While initially created at Cornell, MetaPRL is currently a collaborative p...
187
click to vote
WISE
2003
Springer
16 years 8 days ago
2003
Springer
At the heart of today’s information-explosion problems are issues involving semantics, mutual understanding, concept matching, and interoperability. Ontologies and the Semantic ...
191
click to vote
ICML
2003
IEEE
16 years 7 days ago
2003
IEEE
Shaping can be an effective method for improving the learning rate in reinforcement systems. Previously, shaping has been heuristically motivated and implemented. We provide a for...
179
click to vote
KCAP
2003
ACM
16 years 7 days ago
2003
ACM
Many AI tasks require determining whether two knowledge representations encode the same knowledge. Solving this matching problem is hard because representations may encode the sam...