19367 search results - page 113 / 3874 » Fine-Grain Process Modelling |
130
Voted
IROS
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract— Bayesian filtering is a general framework for recursively estimating the state of a dynamical system. The most common instantiations of Bayes filters are Kalman filt...
119
click to vote
ADVIS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In many practical business process modelling scenarios using Petri nets, the resultant model does not have a single input place and a single output place. In particular, ...
99
Voted
DAC
2006
ACM
16 years 3 months ago
2006
ACM
Optical proximity correction (OPC) is one of the most widely used resolution enhancement techniques (RET) in nanometer designs to improve subwavelength printability. Conventional ...
123
Voted
CSL
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. One-counter processes are pushdown processes over a singleton stack alphabet (plus a stack-bottom symbol). We study the problems of model checking asynchronous products o...
180
Voted
ICEBE
2007
IEEE
15 years 8 months ago
2007
IEEE
With the evolution of Grid technologies and the application of Service-Oriented Architecture (SOA), more and more enterprises are integrated and collaborated with each other in a ...