851 search results - page 115 / 171 » Random constructions and density results |
IROS
2007
IEEE
15 years 4 months ago
2007
IEEE
— Intention recognition is an important topic in human-robot cooperation that can be tackled using probabilistic model-based methods. A popular instance of such methods are Bayes...
102
click to vote
QEST
2007
IEEE
15 years 4 months ago
2007
IEEE
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...
ICARIS
2007
Springer
2007
Springer
Modeling Migration, Compartmentalization and Exit of Naive T Cells in Lymph Nodes Without Chemotaxis
15 years 4 months ago
The migration of lymphocytes through secondary lymphoid organs was believed to be mainly controlled by chemokine gradients. This theory has recently been called into question since...
CMSB
2004
Springer
15 years 3 months ago
2004
Springer
In this paper we present a methodology to estimate rates of enzymatic reactions in metabolic pathways. Our methodology is based on applying stochastic logic learning in ensemble le...
EUROCRYPT
2004
Springer
15 years 3 months ago
2004
Springer
In trying to provide formal evidence that composition has security increasing properties, we ask if the composition of non-adaptively secure permutation generators necessarily pro...