Sciweavers

2288 search results - page 209 / 458
» Learning Business Process Models: A Case Study
Sort
View
130
Voted
GCC
2007
Springer
15 years 8 months ago
A Temporal Logic Based Grid Workflow Model and Scheduling Scheme
Recently, grid computing has become a popular technology for large-scale scientific or business computing. Grid workflow system can enhance the flexibility and efficiency of the g...
Yu-E Zheng, Huadong Ma, Lejun Zhang
137
Voted
ECBS
2009
IEEE
113views Hardware» more  ECBS 2009»
15 years 11 months ago
Modeling and Analysis of Probabilistic Timed Systems
Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a technique for verifying safety and liveness prop...
Abhishek Dubey, Derek Riley, Sherif Abdelwahed, Te...
143
Voted
BMCBI
2010
147views more  BMCBI 2010»
15 years 4 months ago
Learning biological network using mutual information and conditional independence
Background: Biological networks offer us a new way to investigate the interactions among different components and address the biological system as a whole. In this paper, a revers...
Dong-Chul Kim, Xiaoyu Wang, Chin-Rang Yang, Jean G...
152
Voted
HRI
2010
ACM
15 years 10 months ago
Transparent active learning for robots
—This research aims to enable robots to learn from human teachers. Motivated by human social learning, we believe that a transparent learning process can help guide the human tea...
Crystal Chao, Maya Cakmak, Andrea Lockerd Thomaz
FORMATS
2008
Springer
15 years 6 months ago
Formal Modeling and Scheduling of Datapaths of Digital Document Printers
Abstract. We apply three different modeling frameworks -- timed automata (Uppaal), colored Petri nets and synchronous data flow -- to model a challenging industrial case study that...
Georgeta Igna, Venkatesh Kannan, Yang Yang, Twan B...