79 search results - page 9 / 16 » Discrete time process algebra with silent step |
111
Voted
ENTCS
2006
15 years 20 days ago
2006
We demonstrate a novel simulation technique for analysing large stochastic process algebra models, applying this to a secure electronic voting system example. By approximating the...
106
Voted
PR
2006
15 years 17 days ago
2006
All of the prototype reduction schemes (PRS) which have been reported in the literature, process time-invariant data to yield a subset of prototypes that are useful in nearest-nei...
104
Voted
COMPGEOM
2007
ACM
15 years 4 months ago
2007
ACM
We propose a simple variant of kd-trees, called rank-based kd-trees, for sets of points in Rd . We show that a rank-based kd-tree, like an ordinary kd-tree, supports range search ...
103
Voted
HYBRID
2010
Springer
15 years 7 months ago
2010
Springer
We consider an anytime control algorithm for the situation when the processor resource availability is time-varying. The basic idea is to calculate the components of the control i...
108
Voted
PAMI
2002
15 years 9 days ago
2002
We introduce a formalism for optimal sensor parameter selection for iterative state estimation in static systems. Our optimality criterion is the reduction of uncertainty in the st...