3573 search results - page 252 / 715 » Reasoning about Codata |
160
click to vote
JOLLI
1998
15 years 4 months ago
1998
When reasoning about complex domains, where information available is usually only partial, nonmonotonic reasoning can be an important tool. One of the formalisms introduced in thi...
134
click to vote
SYNTHESE
2010
15 years 2 months ago
2010
There exists a considerable body of work on epistemic logics for resource-bounded reasoners. In this paper, we concentrate on a less studied aspect of resource-bounded reasoning, n...
112
click to vote
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
In this paper, we describe a technique to temporally sort a collection of photos that span many years. By reasoning about persistence of visible structures, we show how this sorti...
240
click to vote
ICDE
1997
IEEE
16 years 5 months ago
1997
IEEE
The need to transform data between heterogeneous databases arises from a number of critical tasks in data management. These tasks are complicated by schema evolution in the underl...
195
click to vote
SIGMOD
2008
ACM
16 years 4 months ago
2008
ACM
There are several useful guides available for how to review a paper in Computer Science [10, 6, 12, 7, 2]. These are soberly presented, carefully reasoned and sensibly argued. As ...