Sciweavers

2521 search results - page 309 / 505
» Semantic Component Composition
Sort
View
114
Voted
FLAIRS
2006
15 years 2 months ago
Uncertainty Reasoning in Description Logics: A Generic Approach
Description Logics (DL) are gaining more popularity as the foundation of ontology languages for the Semantic Web. As most information in real life is imperfect, there has been an ...
Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri
ESOP
2012
Springer
13 years 8 months ago
Complete Monitors for Behavioral Contracts
Abstract. A behavioral contract in a higher-order language may invoke methods of unknown objects. Although this expressive power allows programmers to formulate sophisticated contr...
Christos Dimoulas, Sam Tobin-Hochstadt, Matthias F...
DEXAW
2007
IEEE
113views Database» more  DEXAW 2007»
15 years 7 months ago
A Flexible Architecture for Context-Aware Physical Hypermedia
In this paper we present the rationale and the main components for a modular and extensible architecture for building and deploying physical hypermedia software. We show that this...
Cecilia Challiol, Andres Fortier, Silvia E. Gordil...
93
Voted
WOA
2004
15 years 2 months ago
Design and development of a visual environment for writing DyLOG programs
Abstract-- In this article we present a visual development environment for writing DyLOG programs, explaining the motivations to this work and the main design choices. We will also...
Claudio Schifanella, Luca Lusso, Matteo Baldoni, C...
ACL
1997
15 years 2 months ago
On Interpreting F-Structures as UDRSs
We describe a method for interpreting abstract fiat syntactic representations, LFG fstructures, as underspecified semantic representations, here Underspecified Discourse Represent...
Josef van Genabith, Richard S. Crouch