27354 search results - page 5131 / 5471 » Distributed And Parallel Computing |
172
Voted
RAS
2007
15 years 6 months ago
2007
Rao-Blackwellized particle filters have become a popular tool to solve the simultaneous localization and mapping problem. This technique applies a particle filter in which each ...
194
click to vote
SCFBM
2008
15 years 6 months ago
2008
Modern life sciences research increasingly relies on computational solutions, from large scale data analyses to theoretical modeling. Within the theoretical models Boolean network...
181
click to vote
FAC
2010
15 years 5 months ago
2010
: © Algebra and logic for access control Matthew Collinson, David Pym HP Laboratories HPL-2008-75R1 Access control, process algebra, bunched Logic; systems modelling The access co...
172
click to vote
IANDC
2010
15 years 5 months ago
2010
Abstract. We investigate weak bisimulation of probabilistic systems in the presence of nondeterminism, i.e. labelled concurrent Markov chains (LCMC) with silent transitions. We bui...
222
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...