4346 search results - page 369 / 870 » Models of Complex Physical Systems Using Cell-DEVS |
242
click to vote
ISPDC
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a new approach for analyzing the performance of grid scheduling algorithms for tasks with dependencies. Finding the optimal procedures for DAG scheduling in Gr...
199
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: Recent technological advances in high-throughput data collection allow for experimental study of increasingly complex systems on the scale of the whole cellular genome...
168
click to vote
LREC
2010
15 years 8 months ago
2010
Today's natural language processing systems are growing more complex with the need to incorporate a wider range of language resources and more sophisticated statistical metho...
178
click to vote
CIMCA
2005
IEEE
16 years 10 days ago
2005
IEEE
— This paper describes an ontology-driven model, which integrates Bayesian Networks (BN) into the Ontology Web Language (OWL) to preserve the advantages of both. This model makes...
178
click to vote
ACSD
2004
IEEE
15 years 10 months ago
2004
IEEE
Abstract. This paper presents a formal verification algorithm for finding errors in models of complex concurrent systems. The algorithm improves explicit guided model checking by a...