281 search results - page 25 / 57 » Comparing operational models of name-passing process calculi |
104
click to vote
JIRS
1998
14 years 11 months ago
1998
In this paper, we advocate the use of reactive robots in industrial process control and production management. It is explained why reactive robots are well-suited to modern industr...
129
click to vote
ASPDAC
2008
ACM
15 years 1 months ago
2008
ACM
In the nanometer manufacturing region, process variation causes significant uncertainty for circuit performance verification. Statistical static timing analysis (SSTA) is thus dev...
96
Voted
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
It has been demonstrated by Serre et al. that the biologically inspired model (BIM) is effective for object recognition. It outperforms many state-of-the-art methods in challengin...
VLDB
1997
ACM
15 years 3 months ago
1997
ACM
We present a multi-dimensional database model, which we believe can serve as a conceptual model for On-Line Analytical Processing (OLAP)-based applications. Apart from providing t...
107
click to vote
JMLR
2010
14 years 6 months ago
2010
Real stochastic processes operating in continuous time can be modeled by sets of stochastic differential equations. On the other hand, several popular model families, including hi...