1359 search results - page 38 / 272 » Probabilistic Points-to Analysis |
126
Voted
AUTOMATICA
2008
15 years 3 months ago
2008
In this work, probabilistic reachability over a finite horizon is investigated for a class of discrete time stochastic hybrid systems with control inputs. A suitable embedding of ...
105
Voted
MICCAI
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Diffusion magnetic resonance imaging has led to active research in the analysis of anatomical connectivity in the brain. Many approaches have been proposed to model the ...
153
Voted
IFIP
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Task-structured probabilistic input/output automata (taskPIOAs) are concurrent probabilistic automata that, among other things, have been used to provide a formal framewo...
126
Voted
TCIAIG
2010
14 years 10 months ago
2010
Abstract--Fingerprinting operators generate functional signatures of game players and are useful for their automated analysis independent of representation or encoding. The theory ...
204
Voted
CLIMA
2011
14 years 3 months ago
2011
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...