4693 search results - page 404 / 939 » Verifying Hybrid Systems |
172
click to vote
JCIT
2007
15 years 6 months ago
2007
Rough Petri nets model (RPNM) for knowledge representation, rule generation, and reasoning is presented in this paper. An algorithm for verifying the consistency of a rough knowle...
168
click to vote
CG
2002
Springer
15 years 6 months ago
2002
Springer
In order to analyze or better develop modern computer games it is critical to have an appropriate representation framework. In this paper a symbolic representation of modern comput...
173
click to vote
IJACTAICIT
2010
15 years 4 months ago
2010
Online service is an important driving force behind many of today's Web 2.0 applications. For security and privacy concerns, authentication is required for all of services th...
166
click to vote
MEDINFO
2007
15 years 8 months ago
2007
The International Classification of Diseases 10th version (ICD-10) is one of the most standard and important disease classifications. Since computerized ICD-10 coding systems have...
206
click to vote
TSMC
1998
15 years 6 months ago
1998
—The paper discusses how Petri nets may be used for the qualitative modeling of physical systems. The qualitative state of a system is represented by the marking of the net. The ...