4502 search results - page 268 / 901 » Regular Model Checking |
175
click to vote
APCCM
2010
15 years 8 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 ...
167
click to vote
SIBGRAPI
2000
IEEE
15 years 11 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...
167
click to vote
DEXAW
2006
IEEE
16 years 17 days ago
2006
IEEE
Besides being adopted as the new general data representation format for the Internet, XML is finding increasing acceptance as a native data exchange language. In order to fully e...
172
click to vote
LICS
2000
IEEE
15 years 11 months ago
2000
IEEE
We consider two-player games which are played on a finite state space for an infinite number of rounds. The games are concurrent, that is, in each round, the two players choose ...
159
click to vote
DSS
2008
15 years 6 months ago
2008
When solving clinical decision-making problems with modern graphical decision-theoretic models such as influence diagrams, we obtain decision tables with optimal decision alternat...