Sciweavers

1956 search results - page 303 / 392
» A Critical View of Context
Sort
View
FUIN
2010
112views more  FUIN 2010»
14 years 8 months ago
An Empirical Study of QBF Encodings: from Treewidth Estimation to Useful Preprocessing
From an empirical point of view, the hardness of quantified Boolean formulas (QBFs), can be characterized by the (in)ability of current state-of-the-art QBF solvers to decide abo...
Luca Pulina, Armando Tacchella
IAJIT
2010
177views more  IAJIT 2010»
14 years 8 months ago
Representing Uncertainty in Medical Knowledge: An Interval Based Approach for Binary Fuzzy Relations
: This paper addresses issues involved in representation of causal relationships between medical categories. An interval based approach for medical binary fuzzy relations is propos...
Bassam Haddad, Ahmad Awwad
MACOM
2010
14 years 8 months ago
Static Inter-Cell Interference Coordination Techniques for LTE Networks: A Fair Performance Assessment
Abstract. This paper focuses in the analysis of 100% static and distributed inter-cell interference coordination techniques in the context of LTE networks. Several methods have bee...
David González González, Mario Garc&...
TMC
2010
137views more  TMC 2010»
14 years 8 months ago
A Metric for DISH Networks: Analysis, Implications, and Applications
—In wireless networks, node cooperation has been exploited as a data relaying mechanism for decades. However, the wireless channel allows for much richer interaction among nodes....
Tie Luo, Vikram Srinivasan, Mehul Motani
TVCG
2010
130views more  TVCG 2010»
14 years 8 months ago
Route Visualization Using Detail Lenses
—We present a method designed to address some limitations of typical route map displays of driving directions. The main goal of our system is to generate a printable version of a...
Pushpak Karnick, David Cline, Stefan Jeschke, Ansh...