984 search results - page 33 / 197 » Experimenting with Multi-Level Models in a Two-Level Modelin... |
116
click to vote
CPHYSICS
2010
15 years 3 months ago
2010
Distributed computing (DC) projects tackle large computational problems by exploiting the donated processing power of thousands of volunteered computers, connected through the Int...
189
click to vote
ICPR
2004
IEEE
16 years 4 months ago
2004
IEEE
This paper proposes two indicators for predicting the quality of camera model parameters from a set of input images. The first indicator is based on the acutance. It can quickly i...
131
Voted
ICIDS
2010
Springer
15 years 1 months ago
2010
Springer
With the increasing number of prototypes and market applications of interactive storytelling, the understanding and optimization of how end users respond to computer-mediated inter...
121
click to vote
HVC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper studies the efficiency of several probabilistic model checkers by comparing verification times and peak memory usage for a set of standard case studies. The s...
116
Voted
ENTCS
2002
15 years 3 months ago
2002
In this paper we describe the use of the rewriting logic based Maude tool to model and analyze mammalian signaling pathways. We discuss the representation of the underlying biolog...