1818 search results - page 261 / 364 » Granularity-Adaptive Proof Presentation |
102
Voted
TPHOL
2003
IEEE
15 years 8 months ago
2003
IEEE
Coverage checking is the problem of deciding whether any closed term of a given type is an instance of at least one of a given set of patterns. It can be used to verify if a functi...
157
Voted
IBPRIA
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. This paper addresses the problem of reconstructing textureless objects of quadric like shape. It is known that a quadric can be uniquely recovered from its apparent conto...
122
Voted
ICCS
2003
Springer
15 years 8 months ago
2003
Springer
Performance analysis of real applications in clusters and GRID like environments is essential to fully exploit the performance of new architectures. The key problem is the deepenin...
115
click to vote
PRDC
2002
IEEE
15 years 8 months ago
2002
IEEE
In this paper, we present a consensus algorithm for synchronous distributed systems using cooperating mobile agents. The algorithm is designed within a framework for mobile agent ...
134
click to vote
MPC
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. It is natural to present subtyping for recursive types coinductively. However, Gapeyev, Levin and Pierce have noted that there is a problem with coinductive definitions ...