Sciweavers

2385 search results - page 423 / 477
» Knowledge Refinement for a Design System
Sort
View
120
Voted
WIOPT
2010
IEEE
15 years 28 days ago
A contracts-based approach for spectrum sharing among cognitive radios
Abstract—Development of dynamic spectrum access and allocation techniques recently have made feasible the vision of cognitive radio systems. However, a fundamental question arise...
Dileep M. Kalathil, Rahul Jain
103
Voted
SEMWEB
2010
Springer
15 years 14 days ago
Exploiting Relation Extraction for Ontology Alignment
When multiple ontologies are used within one application system, aligning the ontologies is a prerequisite for interoperability and unhampered semantic navigation and search. Vario...
Elena Beisswanger
171
Voted
SBMF
2010
Springer
205views Formal Methods» more  SBMF 2010»
14 years 9 months ago
A High-Level Language for Modeling Algorithms and Their Properties
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
Sabina Akhtar, Stephan Merz, Martin Quinson
134
Voted
TC
2010
14 years 9 months ago
Scheduling Concurrent Bag-of-Tasks Applications on Heterogeneous Platforms
Abstract-- Scheduling problems are already difficult on traditional parallel machines, and they become extremely challenging on heterogeneous clusters. In this paper we deal with t...
Anne Benoit, Loris Marchal, Jean-Francois Pineau, ...
136
Voted
TWC
2010
14 years 9 months ago
Distributed Multicell-MISO Precoding Using the Layered Virtual SINR Framework
In this letter, we address the problem of distributed multi-antenna cooperative transmission in a cellular system. Most research in this area has so far assumed that base stations ...
Randa Zakhour, David Gesbert