4235 search results - page 227 / 847 » Process Spaces |
140
click to vote
ENTCS
2006
15 years 3 months 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...
212
Voted
AUTOMATICA
2011
14 years 10 months ago
2011
— Quadratic systems play an important role in the modeling of a wide class of nonlinear processes (electrical, robotic, biological, etc.). For such systems it is of mandatory imp...
123
click to vote
EURODAC
1994
IEEE
15 years 8 months ago
1994
IEEE
In this paper we introduce a new knowledgebased method for planning and managing the VLSI design process, based on prediction and advice, that minimizes search in a wide design sp...
136
click to vote
ICARCV
2006
IEEE
15 years 10 months ago
2006
IEEE
— Many problems in computer vision such as pose recovery and structure estimation are formulated as a minimization process. These problems vary in the use of image measurements d...
127
click to vote
CORR
2009
Springer
15 years 1 months ago
2009
Springer
We present a new distributed algorithm for state space minimization modulo branching bisimulation. Like its predecessor it uses signatures for refinement, but the refinement proce...