Sciweavers

9873 search results - page 138 / 1975
» Emergent Semantics Systems
Sort
View
LOGCOM
2002
85views more  LOGCOM 2002»
13 years 9 months ago
Fibring Labelled Deduction Systems
We give a categorial characterization of how labelled deduction systems for logics with a propositional basis behave under unconstrained fibring and under fibring that is constrai...
João Rasga, Amílcar Sernadas, Cristi...
RR
2007
Springer
14 years 4 months ago
Proof Explanation in the DR-DEVICE System
Trust is a vital feature for the Semantic Web: If users (humans and agents) are to use and integrate system answers, they must trust them. Thus, systems should be able to explain t...
Nick Bassiliades, Grigoris Antoniou, Guido Governa...
CORR
2010
Springer
90views Education» more  CORR 2010»
13 years 10 months ago
On Constructive Connectives and Systems
Canonical inference rules and canonical systems are defined in the framework of non-strict single-conclusion sequent systems, in which the succeedents of sequents can be empty. Imp...
Arnon Avron, Ori Lahav
ISVC
2005
Springer
14 years 3 months ago
Using Linguistic Models for Image Retrieval
This research addresses the problem of image retrieval by exploring the semantic relationships that exist between image annotations. This is done by using linguistic relationships ...
Brian Zambrano, Rahul Singh, Bibek Dev Bhattarai
CCGRID
2006
IEEE
14 years 1 months ago
An Ontology-Based Conceptual Mapping Framework for Translating FBPML to the Web Services Ontology
This paper presents an ontology-based conceptual mapping framework that translates a formal and visually rich business process modeling (BPM) language, Fundamental Business Proces...
Gayathri Nadarajan, Yun-Heh Chen-Burger