440 search results - page 17 / 88 » Local reasoning for abstraction and sharing |
147
click to vote
LPAR
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. The calculus of structures is a framework for specifying logical systems, which is similar to the one-sided sequent calculus but more general. We present a system of infe...
160
click to vote
ER
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Of particular concern in requirements engineering is the selection of requirements to implement in the next release of a system. To that end, there has been recent work o...
196
click to vote
IJCV
2012
13 years 8 months ago
2012
Abstract This paper presents a method for detecting a textured deformed surface in an image. It uses (wide-baseline) point matches between a template and the input image. The main ...
155
click to vote
EWCBR
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. The Web is a vibrant environment for innovation in computer science, AI, and social interaction; these innovations come in such great number and speed that it is unlikely...
130
click to vote
CADE
2005
Springer
16 years 6 months ago
2005
Springer
Abstract. Basically, the connection of two many-sorted theories is obtained by taking their disjoint union, and then connecting the two parts through connection functions that must...