Sciweavers

2288 search results - page 344 / 458
» Learning Business Process Models: A Case Study
Sort
View
TASE
2008
IEEE
15 years 4 months ago
Modeling and Supervisory Control of Railway Networks Using Petri Nets
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically de...
Alessandro Giua, Carla Seatzu
ICFEM
2009
Springer
15 years 11 months ago
Approximate Model Checking of PCTL Involving Unbounded Path Properties
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
Samik Basu, Arka P. Ghosh, Ru He
KDD
2010
ACM
259views Data Mining» more  KDD 2010»
15 years 8 months ago
A probabilistic model for personalized tag prediction
Social tagging systems have become increasingly popular for sharing and organizing web resources. Tag recommendation is a common feature of social tagging systems. Social tagging ...
Dawei Yin, Zhenzhen Xue, Liangjie Hong, Brian D. D...
MAICS
2003
15 years 6 months ago
Grounded Concept Development Using Introspective Atoms
In this paper we present a system that uses its underlying physiology, a hierarchical memory and a collection of memory management algorithms to learn concepts as cases and to bui...
Eric G. Berkowitz, Brian E. Mastenbrook
COGSCI
2007
109views more  COGSCI 2007»
15 years 4 months ago
Understanding the Emergence of Modularity in Neural Systems
: Modularity in the human brain remains a controversial issue, with disagreement over the nature of the modules that exist, and why, when and how they emerge. It is a natural assum...
John A. Bullinaria