Sciweavers

5244 search results - page 696 / 1049
» Structural Complexity of AvgBPP
Sort
View
ACRI
2006
Springer
16 years 24 days ago
CA Simulation of Biological Evolution in Genetic Hyperspace
Abstract. Realistic simulation of biological evolution by necessity requires simplification and reduction in the dimensionality of the corresponding dynamic system. Even when this...
Michael A. Saum, Sergey Gavrilets
ICECCS
2005
IEEE
73views Hardware» more  ICECCS 2005»
16 years 12 days ago
Integrating Object-Z with Timed Automata
When designing a complex system, Object-Z is a powerful logic-based language for modeling the system state aspects, and Timed Automata is an excellent graph-based notation for cap...
Jin Song Dong, Roger Duke, Ping Hao
ISIPTA
2005
IEEE
168views Mathematics» more  ISIPTA 2005»
16 years 12 days ago
Approximate Inference in Credal Networks by Variational Mean Field Methods
Graph-theoretical representations for sets of probability measures (credal networks) generally display high complexity, and approximate inference seems to be a natural solution fo...
Jaime Shinsuke Ide, Fabio Gagliardi Cozman
SAINT
2005
IEEE
16 years 11 days ago
A Matrix Pattern Compliant Strong Stochastic Bound
Stochastic bounds are a promising method to analyze QoS requirements. Indeed it is sufficient to prove that a bound of the real performance satisfies the guarantee. However, the...
Ana Busic, Jean-Michel Fourneau
PPOPP
2005
ACM
16 years 11 days ago
Performance modeling and optimization of parallel out-of-core tensor contractions
The Tensor Contraction Engine (TCE) is a domain-specific compiler for implementing complex tensor contraction expressions arising in quantum chemistry applications modeling elect...
Xiaoyang Gao, Swarup Kumar Sahoo, Chi-Chung Lam, J...