Sciweavers

5131 search results - page 131 / 1027
» Heterogeneous Component Analysis
Sort
View
IJON
2010
148views more  IJON 2010»
13 years 7 months ago
Integration of heterogeneous data sources for gene function prediction using decision templates and ensembles of learning machin
Several solutions have been proposed to exploit the availability of heterogeneous sources of biomolecular data for gene function prediction, but few attention has been dedicated t...
Matteo Re, Giorgio Valentini
DAGSTUHL
2007
13 years 11 months ago
Component Based Electronic Voting Systems
—An electronic voting system may be said to be composed by a number of components, each of which has a number of properties. One of the most attractive effects of this way of thi...
David Lundin
CORR
2010
Springer
144views Education» more  CORR 2010»
13 years 8 months ago
Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata
nalysis of a TA modeled component. First, we abstract fine models to work with event streams at coarse granularity. We perform analysis of the component at multiple coarse granular...
Karine Altisen, Yanhong Liu, Matthieu Moy
ICSR
2009
Springer
13 years 8 months ago
Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping?
Anecdotal experience constructing proofs of correctness of code built from reusable software components reveals that they tend to be relatively trivial bookkeeping exercises: they ...
Jason Kirschenbaum, Bruce M. Adcock, Derek Bronish...
CODES
2006
IEEE
14 years 4 months ago
A formal approach to robustness maximization of complex heterogeneous embedded systems
Embedded system optimization typically considers objectives such as cost, timing, buffer sizes and power consumption. Robustness criteria, i.e. sensitivity of the system to variat...
Arne Hamann, Razvan Racu, Rolf Ernst