11716 search results - page 2202 / 2344 » Computable symbolic dynamics |
149
click to vote
PPSN
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We review and investigate the current status of intransitivity as a potential obstacle in coevolution. Pareto-Coevolution avoids intransitivity by translating any standar...
136
click to vote
RT
2004
Springer
15 years 10 months ago
2004
Springer
We introduce a method based on precomputed radiance transfer (PRT) that allows interactive rendering of glossy surfaces and includes shadowing effects from dynamic, “all-frequen...
140
click to vote
SPIN
2004
Springer
15 years 10 months ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
148
click to vote
CCGRID
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper introduces a new benchmark tool for evaluating performance and availability (performability) of networked storage systems, specifically storage area network (SAN) that...
136
click to vote
FTDCS
2003
IEEE
15 years 10 months ago
2003
IEEE
—Current multimedia application deployment tends to rely on composable service systems, where a complex multimedia service can be composed dynamically from multiple simpler ones ...