Volume 94, Number 1, 2009
Volume 94, Number 2, 2009
- Piotr Blajdo, Zdzislaw S. Hippe, Teresa Mroczek, Jerzy W. Grzymala-Busse, Maksymilian Knap, Lukasz Piatek:
An Extended Comparison of Six Approaches to Discretization - A Rough Set Approach.
121-131

- Chien-Chung Chan, Gwo-Hshiung Tzeng:
Dominance-Based Rough Sets Using Indexed Blocks as Granules.
133-146

- Davide Ciucci:
Approximation Algebra and Framework.
147-161

- Krzysztof Dembczynski, Wojciech Kotlowski, Roman Slowinski:
Learning Rule Ensembles for Ordinal Classification with Monotonicity Constraints.
163-178

- Xun Gong, Guoyin Wang, Lili Xiong:
Single 2D Image-based 3D Face Reconstruction and Its Application in Pose Estimation.
179-195

- Ryszard Janicki:
Pairwise Comparisons Based Non-Numerical Ranking.
197-217

- Huaxiong Li, Yiyu Yao, Xianzhong Zhou, Bing Huang:
A Two-Phase Model for Learning Rules from Incomplete Data.
219-232

- Pawan Lingras, Min Chen, Duoqian Miao:
Semi-supervised Rough Cost/Benefit Decisions.
233-244

- Dun Liu, Tian-rui Li, Da Ruan, Weili Zou:
An Incremental Approach for Inducing Knowledge from Dynamic Information Systems.
245-260

- Jing Song, Tian-rui Li, Da Ruan:
An Integration of Cloud Transform and Rough Set Theory to Induction of Decision Trees.
261-273

Volume 94, Numbers 3-4, 2009
- Philippe Darondeau, Maciej Koutny, Marta Pietkiewicz-Koutny, Alexandre Yakovlev:
Synthesis of Nets with Step Firing Policies.
275-303

- Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci:
A Net-based Approach to Web Services Publication and Replaceability.
305-330

- Robin Bergenthum, Sebastian Mauser, Robert Lorenz, Gabriel Juhás:
Unfolding Semantics of Petri Nets Based on Token Flows.
331-360

- Lars Michael Kristensen, Paul Fleischer:
Modelling and Validation of Secure Connection Establishment in a Generic Access Network Scenario.
361-386

- Jan Martijn E. M. van der Werf, Boudewijn F. van Dongen, Cor A. J. Hurkens, Alexander Serebrenik:
Process Discovery using Integer Linear Programming.
387-412

- Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon:
Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation.
413-437

- Roland Meyer, Victor Khomenko, Tim Strazny:
A Practical Approach to Verification of Mobile Systems Using Net Unfoldings.
439-471

Last update Tue May 21 18:54:50 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page