2487 search results - page 362 / 498 » cases 2009 |
122
click to vote
EUROPAR
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In this paper we propose an energy-efficient broadcast algorithm for wireless networks for the case where the transmission powers of the nodes are fixed. Our algorithm is...
EVOW
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper proposes a novel Ant Colony Optimisation algorithm for the hierarchical problem of predicting protein functions using the Gene Ontology (GO). The GO structure ...
134
Voted
FMICS
2009
Springer
15 years 4 months ago
2009
Springer
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...
114
click to vote
FORMATS
2009
Springer
15 years 4 months ago
2009
Springer
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...
112
click to vote
GCB
2009
Springer
15 years 4 months ago
2009
Springer
Abstract: Graphs are often used to describe and analyze the geometry and physicochemical composition of biomolecular structures, such as chemical compounds and protein active sites...