6799 search results - page 41 / 1360 » The Tao of Modeling Spaces |
SFM
2007
Springer
14 years 3 months ago
2007
Springer
Stochastic performance models provide a powerful way of capturing and analysing the behaviour of complex concurrent systems. Traditionally, performance measures for these models ar...
ASPLOS
2006
ACM
14 years 1 months ago
2006
ACM
Architects use cycle-by-cycle simulation to evaluate design choices and understand tradeoffs and interactions among design parameters. Efficiently exploring exponential-size desig...
FMICS
2009
Springer
14 years 4 months ago
2009
Springer
We describe a dynamic partitioning scheme usable by model checking techniques that divide the state space into partitions, such as most external memory and distributed model checki...
SLSFS
2005
Springer
14 years 3 months ago
2005
Springer
We propose the use of latent space models applied to local invariant features for object classification. We investigate whether using latent space models enables to learn patterns...
AAAI
1993
13 years 11 months ago
1993
Many reported discovery systems build discrete models of hidden structure, properties, or processes in the diverse fields of biology, chemistry, and physics. We show that the sear...