Sciweavers

913 search results - page 156 / 183
» Formal Agent Development: Framework to System
Sort
View
FGCS
2007
160views more  FGCS 2007»
14 years 11 months ago
Distributed data mining in grid computing environments
The computing-intensive data mining for inherently Internet-wide distributed data, referred to as Distributed Data Mining (DDM), calls for the support of a powerful Grid with an e...
Ping Luo, Kevin Lü, Zhongzhi Shi, Qing He
GI
2005
Springer
15 years 5 months ago
A Normative Language Approach to the Application of Petri Nets for Clinical Workflows
: This contribution discusses the application of Petri nets for modeling workflow in healthcare based on a normative language approach. After a brief inon, a framework of different...
Kamyar Sarshar, Peter Loos
FMCO
2009
Springer
134views Formal Methods» more  FMCO 2009»
14 years 9 months ago
Verification of Context-Dependent Channel-Based Service Models
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
Natallia Kokash, Christian Krause, Erik P. de Vink
JASIS
2000
143views more  JASIS 2000»
14 years 11 months ago
Discovering knowledge from noisy databases using genetic programming
s In data mining, we emphasize the need for learning from huge, incomplete and imperfect data sets (Fayyad et al. 1996, Frawley et al. 1991, Piatetsky-Shapiro and Frawley, 1991). T...
Man Leung Wong, Kwong-Sak Leung, Jack C. Y. Cheng
TKDE
2002
115views more  TKDE 2002»
14 years 11 months ago
An Approach of Implementing General Learning Companions for Problem Solving
Adding a learning companion, a computer simulated social agent, to a computer based learning system can enhance its educational value by enriching the way in which the computer and...
Chih-Yueh Chou, Tak-Wai Chan, Chi-Jen Lin