9387 search results - page 1140 / 1878 » An Optimal Process Model for a Real Time Process |
300
click to vote
ICMT
2011
Springer
14 years 11 months ago
2011
Springer
Complex model editing activities are frequently performed to realize various model evolution tasks (e.g., model scalability, weaving aspects into models, and model refactoring). In...
219
click to vote
AAAI
1990
15 years 8 months ago
1990
There are many planning applications that require an agent to coordinate its activities with processes that change continuously over time. Several proposals have been made for com...
205
Voted
ENTCS
2002
15 years 7 months ago
2002
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...
177
click to vote
ARC
2009
Springer
16 years 2 months ago
2009
Springer
This paper argues the case for the use of analytical models in FPGA architecture layout exploration. We show that the problem when simplified, is amenable to formal optimization t...
176
click to vote
ICPR
2008
IEEE
16 years 2 months ago
2008
IEEE
In this paper, we present a variational Bayes (VB) approach for image segmentation. First, image is modeled by a mixture model, and then with the techniques of factor analyzer, th...