11160 search results - page 1859 / 2232 » Incompleteness in a General Setting |
204
click to vote
CCCG
2001
15 years 8 months ago
2001
Local coordinates based on the Voronoi diagram are used in natural neighbour interpolation to quantify the "neighbourliness" of data sites. In an earlier paper, we have ...
179
click to vote
DRR
2003
15 years 8 months ago
2003
The Medical Article Records System (MARS) developed by the Lister Hill National Center for Biomedical Communications uses scanning, OCR and automated recognition and reformatting ...
207
click to vote
ICAI
2003
15 years 8 months ago
2003
Reasoning about capabilities in multi-agent systems is crucial for many applications. There are two aspects of reasoning about the capabilities of an agent to achieve its goals. O...
193
click to vote
SCAI
2001
15 years 8 months ago
2001
Muskens presents in Meaning and Partiality a semantics of possibly contradictory beliefs and other propositional attitudes. We propose a different partial logic based on a few key...
189
click to vote
SIROCCO
2004
15 years 8 months ago
2004
The problem of routing traffic through a congested network is studied. The framework is that introduced by Koutsoupias and Papadimitriou where the network is constituted by m paral...