Sciweavers

5128 search results - page 239 / 1026
» When Abstraction Fails
Sort
View
BIOCOMP
2010
15 years 4 months ago
A Network-based Approach to Classify Disease Stages of Prostate Cancer Using Quantitative Network Measures
Abstract-- This study deals with investigating the classification performance of information-theoretic measures when applied to complex biological networks. In particular, our aim ...
Laurin A. J. Mueller, Karl G. Kugler, Andreas Dand...
CDC
2010
IEEE
15 years 2 months ago
A Switching strategy for robust cooperative exploration
Abstract-- This paper develops a switching strategy for networked mobile sensing agents to automatically decide when to perform individual exploration and when to perform cooperati...
Wencen Wu, Fumin Zhang
LICS
2005
IEEE
16 years 26 days ago
Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
Patrice Godefroid, Michael Huth
CSL
2010
Springer
15 years 8 months ago
Exact Exploration and Hanging Algorithms
Abstract. Recent analysis of sequential algorithms resulted in their axiomatization and in a representation theorem stating that, for any sealgorithm, there is an abstract state ma...
Andreas Blass, Nachum Dershowitz, Yuri Gurevich
DIS
2009
Springer
16 years 1 months ago
Linear Programming Boosting by Column and Row Generation
Abstract. We propose a new boosting algorithm based on a linear programming formulation. Our algorithm can take advantage of the sparsity of the solution of the underlying optimiza...
Kohei Hatano, Eiji Takimoto