2629 search results - page 243 / 526 » complex 2009 |
146
click to vote
EUROPAR
2009
Springer
16 years 22 days ago
2009
Springer
The transition to multicore architectures has dramatically underscored the necessity for parallelism in software. In particular, while new gaming consoles are by and large multicor...
164
click to vote
FCT
2009
Springer
16 years 22 days ago
2009
Springer
Entanglement is a complexity measure for directed graphs that was used to show that the variable hierarchy of the propositional modal µ-calculus is strict. While graphs of entangl...
164
click to vote
FM
2009
Springer
16 years 22 days ago
2009
Springer
We present a novel approach to optimize scope-bounded checking programs using a relational constraint solver. Given a program and its correctness specification, the traditional app...
149
click to vote
ICCS
2009
Springer
16 years 22 days ago
2009
Springer
Current mathematical modeling methods for the spreading of infectious diseases are too simplified and do not scale well. We present the Simulator of Epidemic Evolution in Complex ...
162
click to vote
IDA
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. Binary Factor Analysis (BFA) is a typical problem of Independent Component Analysis (ICA) where the signal sources are binary. Parameter learning and model selection in B...