935 search results - page 143 / 187 » Stable models and difference logic |
IJES
2006
13 years 7 months ago
2006
Embedded real-time systems must satisfy not only logical functional requirements but also para-functional properties such as timeliness, Quality of Service (QoS) and reliability. W...
ICC
2008
IEEE
14 years 2 months ago
2008
IEEE
We develop a game theoretic framework for effective and adaptive inter-cell interference management in the OFDMA-based WiMAX/3GPP-LTE systems. Such approach requires no fixed spe...
CVPR
2007
IEEE
14 years 1 months ago
2007
IEEE
In this work we recover the 3D shape of mirroring objects such as mirrors, sunglasses, and stainless steel objects. A computer monitor displays several images of parallel stripes,...
BMCBI
2010
2010
Identifying common prognostic factors in genomic cancer studies: A novel index for censored outcomes
13 years 7 months ago
Background: With the growing number of public repositories for high-throughput genomic data, it is of great interest to combine the results produced by independent research groups...
EMNLP
2010
13 years 5 months ago
2010
We describe a model for the lexical analysis of Arabic text, using the lists of alternatives supplied by a broad-coverage morphological analyzer, SAMA, which include stable lemma ...