7452 search results - page 426 / 1491 » A Semantics for Multiprocessor Systems |
163
click to vote
EURODAC
1994
IEEE
15 years 11 months ago
1994
IEEE
To handle increasingly complex design data, CAD tools are becoming more specialised and complex and hence, more difficult to use. This paper describes an interactive system that h...
162
click to vote
FLOPS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper, we propose more flexible applicability conditions for the folding rule that increase the power of existing unfold/fold systems for normal logic programs. O...
180
click to vote
ENTCS
2002
15 years 6 months ago
2002
We compare Meyer and Routley's minimal relevant logic B+ with the recent semanticsbased approach to subtyping introduced by Frisch, Castagna and Benzaken in the definition of...
205
click to vote
CVPR
2010
IEEE
15 years 4 months ago
2010
IEEE
Though modern Visual Simultaneous Localisation and Mapping (vSLAM) systems are capable of localising robustly and efficiently even in the case of a monocular camera, the maps prod...
219
click to vote
COMMA
2010
15 years 1 months ago
2010
Argumentative discussions are common in Web 2.0 applications, but the social Web still offers limited or no explicit support for argumentation. As Web 2.0 applications become more ...