Sciweavers

2373 search results - page 9 / 475
» Complexities for generalized models of self-assembly
Sort
View
RIVF
2007
15 years 1 months ago
Generalized Percolation Processes Using Pretopology Theory
Abstract— We propose in this paper a generalization of percolation processes in Z2 using the pretopology theory. We formalize the notion of neighborhood by extending it to the co...
Soufian Ben Amor, V. Levorato, Ivan Lavallé...
STTT
2011
195views more  STTT 2011»
14 years 6 months ago
Parallel probabilistic model checking on general purpose graphics processors
We present algorithms for parallel probabilistic model checking on general purpose graphic processing units (GPGPUs). Our improvements target the numerical components of the tradit...
Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski,...
WOSP
2010
ACM
15 years 6 months ago
A general result for deriving product-form solutions in markovian models
In this paper we provide a general method to derive productform solutions for stochastic models. We take inspiration from the Reversed Compound Agent Theorem [14] and we provide a...
Andrea Marin, Maria Grazia Vigliotti
AAAI
1996
15 years 1 months ago
A Kernel-Oriented Model for Coalition-Formation in General Environments: Implementation and Results
In this paper we present a model for coalition formation and payo distribution in general environments. We focus on a reduced complexity kernel-oriented coalition formation model,...
Onn Shehory, Sarit Kraus
ICIP
2003
IEEE
16 years 1 months ago
Towards objective performance analysis for estimation of complex motion: analytic motion modeling, filter optimization, and test
This paper deals with several aspects towards a more objective performance analysis of low-level motion analysis. A generalized spatiotemporal filter formulation and motion modeli...
Bernd Jähne, Christoph S. Garbe