11716 search results - page 2202 / 2344 » Computable symbolic dynamics |
213
Voted
PPSN
2004
Springer
16 years 11 days 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...
188
Voted
RT
2004
Springer
16 years 11 days 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...
201
Voted
SPIN
2004
Springer
16 years 11 days 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...
194
click to vote
CCGRID
2003
IEEE
16 years 9 days 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...
189
Voted
FTDCS
2003
IEEE
16 years 9 days 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 ...