Sciweavers

1573 search results - page 218 / 315
» Signs and Formal Concepts
Sort
View
MMS
2002
15 years 1 months ago
Smart VideoText: a video data model based on conceptual graphs
An intelligent annotation-based video data model called Smart VideoText is introduced. It utilizes the conceptual graph knowledge representation formalism to capture the semantic a...
Fotis Kokkoras, Haitao Jiang, Ioannis P. Vlahavas,...
86
Voted
LOGCOM
2010
96views more  LOGCOM 2010»
15 years 5 days ago
The Complexity of the Warranted Formula Problem in Propositional Argumentation
The notion of warrant or justification is one of the central concepts in formal models of argumentation. The dialectical definition of warrant is expressed in terms of recursive...
Robin Hirsch, Nikos Gorogiannis
MICS
2010
76views more  MICS 2010»
15 years 5 days ago
Mathematical Context in Interactive Documents
Abstract. In this paper we introduce the concept of an interactive mathematical document. We give a formal description of such a document, which enables us to introduce the notion ...
A. M. Cohen, Hans Cuypers, R. Verrijzer
TCOM
2010
97views more  TCOM 2010»
15 years 3 days ago
Exploiting UEP in QAM-based BICM: interleaver and code design
In this paper we formally analyze the interleaver and code design for QAM-based BICM transmissions using the binary reflected Gray code. We develop analytical bounds on the bit e...
Alex Alvarado, Erik Agrell, Leszek Szczecinski, Ar...
126
Voted
INLG
2010
Springer
14 years 11 months ago
Grouping Axioms for More Coherent Ontology Descriptions
Ontologies and datasets for the Semantic Web are encoded in OWL formalisms that are not easily comprehended by people. To make ontologies accessible to human domain experts, sever...
Sandra Williams, Richard Power