19798 search results - page 268 / 3960 » Is Structural Subtyping Useful |
IFM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Event-B provides a flexible approach to modelling and refinement of systems. In this paper we outline two important ways in which Event-B refinement can be augmented w...
74
Voted
CVPR
2008
IEEE
15 years 7 months ago
2008
IEEE
Structured-light methods actively generate geometric correspondence data between projectors and cameras in order to facilitate robust 3D reconstruction. In this paper, we present ...
94
Voted
ISCAS
2008
IEEE
15 years 7 months ago
2008
IEEE
— This paper presents a new memory cell structure for content addressable memory (CAM) based on magnetic tunneling junction (MTJ). Each CAM cell employs a pair of differential MT...
COSIT
2005
Springer
15 years 6 months ago
2005
Springer
Arrows are major components of diagrams, where they are typically used to facilitate the communication of spatial and temporal knowledge. An automated interpretation of arrow diagr...
100
Voted
DEXAW
1998
IEEE
15 years 5 months ago
1998
IEEE
This paper presents a first step towards a security model that defines access control for logical document structures. el benefits from roles to abstract from users and from secur...