AUSAI
2003
Springer
14 years 29 days ago
2003
Springer
Abstract. X-ray mammography is the current clinical method for screening for breast cancer, and like any technique, has its limitations. Several groups have reported differences i...
AUSAI
2003
Springer
14 years 29 days ago
2003
Springer
An important task in machine learning is determining which learning algorithm works best for a given data set. When the amount of data is small the same data needs to be used repea...
APN
2003
Springer
14 years 29 days ago
2003
Springer
One of the key issues of object-oriented modeling is inheritance. It allows for the definition of a subclass that inherits features from some superclass. When considering the dynam...
APN
2003
Springer
14 years 29 days ago
2003
Springer
APN
2003
Springer
14 years 29 days ago
2003
Springer
The Model-Checking Kit [8] is a collection of programs which allow to model finite state systems using a variety of modelling languages, and verify them using a variety of checker...
APN
2003
Springer
14 years 29 days ago
2003
Springer
CPN Tools is a tool for editing, simulating and analysing Coloured Petri Nets. The GUI is based on advanced interaction techniques, such as toolglasses, marking menus, and bi-manua...
APN
2003
Springer
14 years 29 days ago
2003
Springer
Model checking by exhaustive state space enumeration is one of the most developed analysis methods for distributed event systems. Its main problem—the size of the state spaces—...
APN
2003
Springer
14 years 29 days ago
2003
Springer
Fluidification is a common relaxation technique used to deal in a more friendly way with large discrete event dynamic systems. In Petri nets, fluidification leads to continuous ...
APN
2003
Springer
14 years 29 days ago
2003
Springer
APN
2003
Springer
14 years 29 days ago
2003
Springer
Abstract. We show how the firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural numbers. On that basis we introduce closed monoidal str...