9873 search results - page 420 / 1975 » Emergent Semantics Systems |
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 ...
381
click to vote
Lab
PLT develops foundations for building reliable, high-performance software. Foundations include practices, languages, semantics, implementation techniques and type systems. To dem...
163
click to vote
SEKE
1995
Springer
15 years 10 months ago
1995
Springer
This paper argues for new computational mechanisms to aid specification of requirements for composite systems. It presents mechanisms for storing specification fragments, or viewp...