Sciweavers

5284 search results - page 647 / 1057
» Ontologizing Semantic Relations
Sort
View
ISCAS
2006
IEEE
109views Hardware» more  ISCAS 2006»
16 years 26 days ago
Adaptive multimedia access: from user needs to semantic personalisation
—We discuss the use of a reliable user requirements methodology for gathering essential data relating to user needs in advanced, personalised multimedia content applications. We ...
A. Evans, Miriam Fernández, David Vallet, P...
CSL
2001
Springer
15 years 11 months ago
Categorical and Kripke Semantics for Constructive S4 Modal Logic
Abstract. We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capt...
Natasha Alechina, Michael Mendler, Valeria de Paiv...
JAVA
1999
Springer
15 years 11 months ago
A Programmer's Reduction Semantics for Classes and Mixins
While class-based object-oriented programming languages provide a flexible mechanism for re-using and managing related pieces of code, they typically lack linguistic facilities fo...
Matthew Flatt, Shriram Krishnamurthi, Matthias Fel...
135
Voted
COLING
1996
15 years 8 months ago
Distributedness and Non-Linearity of LOLITA's Semantic Network
'Phis paper describes SemNet the internal Knowledge t{epresentation lbr LOLI'I'A I. LOMTA is a large scale Natural Language Engineering (NLE) system. As such the in...
S. Short, Simon Shiu, Roberto Garigliano
NDJFL
2002
74views more  NDJFL 2002»
15 years 6 months ago
The Semantics of Entailment Omega
This paper discusses the relation between the minimal positive relevant logic B+ and intersection and union type theories. There is a marvellous coincidence between these very diff...
Mariangiola Dezani-Ciancaglini, Robert K. Meyer, Y...