2989 search results - page 383 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
91
Voted
IJCAI
2007
15 years 4 months ago
2007
Accurate entity resolution is sometimes impossible simply due to insufficient information. For example, in research paper author name resolution, even clever use of venue, title ...
112
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
128
click to vote
USS
2008
15 years 5 months ago
2008
We address the problem of auditing an election when precincts may have different sizes. Prior work in this field has emphasized the simpler case when all precincts have the same s...
124
click to vote
CVPR
2001
IEEE
16 years 4 months ago
2001
IEEE
Image inpainting involves filling in part of an image or video using information from the surrounding area. Applications include the restoration of damaged photographs and movies ...
132
click to vote
BNT
1997
15 years 4 months ago
1997
One of the most important network elements in the Internet are the routers which do relaying of IP packets. Because of growth of the Internet routers currently experience serious ...