2784 search results - page 260 / 557 » Light analysis of complex systems |
176
click to vote
BMCBI
2006
15 years 5 months ago
2006
Background: The emerging field of integrative bioinformatics provides the tools to organize and systematically analyze vast amounts of highly diverse biological data and thus allo...
167
click to vote
DSRT
2005
IEEE
15 years 11 months ago
2005
IEEE
Timed automata provide useful state machine based representations for the validation and verification of realtime control systems. This paper introduces an algorithmic methodolog...
138
Voted
RECSYS
2009
ACM
16 years 3 days ago
2009
ACM
We consider the problem of recommending the best set of k items when there is an inherent ordering between items, expressed as a set of prerequisites (e.g., the course ‘Real Ana...
130
click to vote
JLP
2006
15 years 5 months ago
2006
We present an algorithm for the linearization of hybrid processes modeled in hybrid process algebra (HyPA) and prove its correctness. HyPA is a formalism that is suitable for the ...
172
click to vote
SIGMETRICS
2002
ACM
15 years 5 months ago
2002
ACM
We introduce a new methodology for the exact analysis of M/G/1-type Markov processes. The methodology uses basic, well-known results for Markov chains by exploiting the structure ...