440 search results - page 17 / 88 » Local reasoning for abstraction and sharing |
LPAR
2001
Springer
15 years 6 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...
115
click to vote
ER
2010
Springer
15 years 14 days 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...
137
Voted
IJCV
2012
13 years 4 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 ...
113
click to vote
EWCBR
2008
Springer
15 years 3 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...
CADE
2005
Springer
16 years 2 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...