Sciweavers

941 search results - page 115 / 189
» Mathematics on the (Semantic) NET
Sort
View
TWC
2008
245views more  TWC 2008»
15 years 15 days ago
Cross-Layer Optimal Policies for Spatial Diversity Relaying in Mobile Ad Hoc Networks
In order to adapt to time-varying wireless channels, various channel-adaptive schemes have been proposed to exploit inherent spatial diversity in mobile/wireless ad hoc networks w...
Jing Ai, Alhussein A. Abouzeid, Zhenzhen Ye
91
Voted
CALCO
2007
Springer
138views Mathematics» more  CALCO 2007»
15 years 6 months ago
Coalgebraic Foundations of Linear Systems
Abstract. Viewing discrete-time causal linear systems as (Mealy) coalgebras, we describe their semantics, minimization and realisation as universal constructions, based on the fin...
Jan J. M. M. Rutten
95
Voted
ROOM
2000
15 years 1 months ago
Object-Oriented Refinement and Proof using Behaviour Functions
This paper proposes a new calculus for expressing the behaviour of object-oriented systems. The semantics of the calculus is given in terms of operators from computational categor...
Tony Clark
88
Voted
CIKM
2009
Springer
15 years 7 months ago
Towards a universal wordnet by learning from combined evidence
Lexical databases are invaluable sources of knowledge about words and their meanings, with numerous applications in areas like NLP, IR, and AI. We propose a methodology for the au...
Gerard de Melo, Gerhard Weikum
99
Voted
ESWS
2005
Springer
15 years 6 months ago
Extending HCONE-Merge by Approximating the Intended Meaning of Ontology Concepts Iteratively
A central aspect of HCONE-merge is the mapping of ontology concepts to a hidden intermediate ontology by uncovering the intended meaning of concepts. Such a mapping is realized by ...
George A. Vouros, Konstantinos Kotis