3573 search results - page 112 / 715 » Reasoning about Codata |
124
click to vote
POPL
2011
ACM
14 years 6 months ago
2011
ACM
Containers are general-purpose data structures that provide functionality for inserting, reading, removing, and iterating over elements. Since many applications written in modern ...
157
click to vote
CONCUR
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. In 2004, Berdine, Calcagno and O’Hearn introduced a fragment of separation logic that allows for reasoning about programs with pointers and linked lists. They showed th...
128
click to vote
CVPR
2012
IEEE
13 years 5 months ago
2012
IEEE
We present a unified occlusion model for object instance detection under arbitrary viewpoint. Whereas previous approaches primarily modeled local coherency of occlusions or attem...
117
Voted
ESWS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Despite of their advertisement as task independent representations, the reuse of ontologies in different contexts is difficult. An explanation for this is that when devel...
121
Voted
DIAGRAMS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We present a brief description of the design of a diagrambased system that supports the development of thinking about mathematical generalisation. Within the software, th...