2801 search results - page 126 / 561 » On the Adequateness of the Connection Method |
150
Voted
GECCO
1999
Springer
15 years 8 months ago
1999
Springer
Top-down or analytical provers based on the connection tableau calculus are rather powerful, yet have notable shortcomings regarding redundancy control. A well-known and successfu...
122
click to vote
IMPERIAL
1994
15 years 8 months ago
1994
The \observational content" of geometric logic is discussed and it is proposed that geometric logic is an appropriate basis for a Z-like speci cation language in which schema...
121
Voted
FM
2006
Springer
15 years 8 months ago
2006
Springer
This paper considers network services that bind identifiers in the course of delivering messages, and also persistent, point-to-point connections made in the context of such bindin...
106
click to vote
FORMATS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. In this paper we propose a novel technique for constructing timed automata from properties expressed in the logic MTL, under bounded-variability assumptions. We handle fu...
MICCAI
2003
Springer
16 years 5 months ago
2003
Springer
Abstract. We propose a method for automatically correcting the spherical topology of any segmentation under any digital connectivity. A multiple region growing process, concurrentl...