1143 search results - page 130 / 229 » Mental models of recursion |
FSTTCS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Monolithic finite-state probabilistic programs have been abstractly modeled by finite Markov chains, and the algorithmic verification problems for them have been inves...
LCPC
2009
Springer
14 years 1 months ago
2009
Springer
Programming heterogeneous parallel computer systems is notoriously difficult, but MIMD models have proven to be portable across multi-core processors, clusters, and massively paral...
ICALP
2000
Springer
14 years 22 days ago
2000
Springer
We show the decidability of model checking PA-processes against several first-order logics based upon the reachability predicate. The main tool for this result is the recognizabil...
FORMATS
2008
Springer
13 years 10 months ago
2008
Springer
Metric Temporal Logic (MTL) is a widely-studied real-time extension of Linear Temporal Logic. In this paper we survey results about the complexity of the satisfiability and model c...
ICWSM
2008
13 years 10 months ago
2008
In this paper, we attempt to specify the influencer and the influential terms in consumer package goods by using the influence diffusion model (IDM). IDM calculates the spread of ...