Sciweavers

1699 search results - page 145 / 340
» On the Expressive Power of QLTL
Sort
View
ECRTS
2010
IEEE
15 years 7 months ago
Partitioning Parallel Applications on Multiprocessor Reservations
A full exploitation of the computational power available in a multi-core platform requires the software to be specified in terms of parallel execution flows. At the same time, mode...
Giorgio C. Buttazzo, Enrico Bini, Yifan Wu
TWC
2008
113views more  TWC 2008»
15 years 6 months ago
PHY-layer Fairness in Amplify and Forward Cooperative Diversity Systems
We deal with the concept of physical-layer fairness in amplify and forward cooperative diversity systems, which reflects the need for equally allocating the consumed power among th...
Diomidis S. Michalopoulos, George K. Karagiannidis
DRM
2003
Springer
15 years 11 months ago
Content and expression-based copy recognition for intellectual property protection
Protection of copyrights and revenues of content owners in the digital world has been gaining importance in the recent years. This paper presents a way of fingerprinting text docu...
Özlem Uzuner, Randall Davis
FOIS
2006
15 years 7 months ago
Formalizing Ontology Alignment and its Operations with Category Theory
An ontology alignment is the expression of relations between different ontologies. In order to view alignments independently from the language expressing ontologies and from the te...
Antoine Zimmermann, Markus Krötzsch, Jé...
BMCBI
2007
182views more  BMCBI 2007»
15 years 6 months ago
Additive risk survival model with microarray data
Background: Microarray techniques survey gene expressions on a global scale. Extensive biomedical studies have been designed to discover subsets of genes that are associated with ...
Shuangge Ma, Jian Huang