4962 search results - page 328 / 993 » Stochastic Model Checking |
101
click to vote
DSVIS
2006
Springer
15 years 7 months ago
2006
Springer
We formally specify the interpretation stage in a dual state space human-computer interaction cycle. This is done by extending / reorganising our previous cognitive architecture. I...
130
click to vote
APCCM
2010
15 years 4 months ago
2010
In this paper we extend the preliminary work developed elsewhere and investigate how to characterise many aspects of the compliance problem in business process modeling. We first ...
124
Voted
SIBGRAPI
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper presents a system that is being developed for the recognition of the handwritten legal amount in Brazilian bank checks. Our strategy used to approach the handwritten leg...
114
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
ate Abstractions of Discrete-Time Controlled Stochastic Hybrid Systems Alessandro D’Innocenzo, Alessandro Abate, and Maria D. Di Benedetto — This work proposes a procedure to c...
127
click to vote
FOCS
2005
IEEE
15 years 9 months ago
2005
IEEE
Stochastic optimization problems provide a means to model uncertainty in the input data where the uncertainty is modeled by a probability distribution over the possible realizatio...