12107 search results - page 2340 / 2422 » Software That Can Think |
LSGRID
2004
Springer
14 years 2 months ago
2004
Springer
Many useful applications of simulation in computational cell biology, e.g. kinetic parameter estimation, Metabolic Control Analysis (MCA), and bifurcation analysis, require a large...
OOPSLA
2004
Springer
14 years 2 months ago
2004
Springer
Java workloads are becoming more and more prominent on various computing devices. Understanding the behavior of a Java workload which includes the interaction between the applicat...
PRICAI
2004
Springer
14 years 2 months ago
2004
Springer
Autonomous synthetic actors performing in live stage performances must be capable of generating speech that is not only lexically correct, but emotionally correct; affect can be co...
SPIN
2004
Springer
14 years 2 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...
SPW
2004
Springer
14 years 2 months ago
2004
Springer
Abstract Fabio Massacci1 and Nicola Zannone1 Department of Information and Communication Technology University of Trento - Italy {massacci,zannone} at dit.unitn.it The last years h...