Sciweavers

4355 search results - page 690 / 871
» From Interpretation to Compilation
Sort
View
106
Voted
ECCC
2010
106views more  ECCC 2010»
14 years 8 months ago
Hardness of Parameterized Resolution
Parameterized Resolution and, moreover, a general framework for parameterized proof complexity was introduced by Dantchev, Martin, and Szeider [16] (FOCS’07). In that paper, Dan...
Olaf Beyersdorff, Nicola Galesi, Massimo Lauria
98
Voted
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
101
Voted
IFIPTM
2010
140views Management» more  IFIPTM 2010»
14 years 8 months ago
Shinren: Non-monotonic Trust Management for Distributed Systems
Abstract. The open and dynamic nature of modern distributed systems and pervasive environments presents significant challenges to security management. One solution may be trust ma...
Changyu Dong, Naranker Dulay
99
Voted
IJBRA
2010
89views more  IJBRA 2010»
14 years 8 months ago
Strategies for enhanced annotation of a microarray probe set
—We aim to determine the biological relevance of genes identified through microarray-mediated transcriptional profiling of Xenopus sensory organs and brain tissue. Genetic data...
TuShun R. Powers, Selene M. Virk, Elba E. Serrano
INFFUS
2010
143views more  INFFUS 2010»
14 years 8 months ago
A multi-agent systems approach to distributed bayesian information fusion
This paper introduces design principles for modular Bayesian fusion systems which can (i) cope with large quantities of heterogeneous information and (ii) can adapt to changing co...
Gregor Pavlin, Patrick de Oude, Marinus Maris, Jan...