566 search results - page 34 / 114 » Array Abstractions from Proofs |
BIOCOMP
2010
13 years 4 months ago
2010
Abstract-- This study deals with investigating the classification performance of information-theoretic measures when applied to complex biological networks. In particular, our aim ...
WOWMOM
2009
ACM
14 years 2 months ago
2009
ACM
We consider the case of sparse mobile sensors deployed to implement missions in challenging environments. This paper explores a notion of tour networks that is well suited to circ...
CLEIEJ
2007
13 years 7 months ago
2007
Abstract. This paper present a new approach for the analysis of gene expression, by extracting a Markov Chain from trained Recurrent Neural Networks (RNNs). A lot of microarray dat...
SIAMAM
2008
13 years 7 months ago
2008
Abstract. In this paper we describe the formation of fingers from ionization fronts for a hydrodynamic plasma model. The fingers result from a balance between the destabilizing eff...
ICRA
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract— We consider the problem of estimating the incident angle of a sound, using only a single microphone. The ability to perform monaural (single-ear) localization is import...