Sciweavers

463 search results - page 83 / 93
» Using Colored Petri Nets for Conversation Modeling
Sort
View
APN
2005
Springer
14 years 2 months ago
Genetic Process Mining
The topic of process mining has attracted the attention of both researchers and tool vendors in the Business Process Management (BPM) space. The goal of process mining is to discov...
Wil M. P. van der Aalst, Ana Karla A. de Medeiros,...
IMAGING
2000
13 years 10 months ago
Illuminant Estimation: Beyond the Bases
We describe spectral estimation principles that are useful for color balancing, color conversion, and sensor design. The principles extend conventional estimation methods, which r...
Jeffrey M. DiCarlo, Brian A. Wandell
TCS
2002
13 years 8 months ago
Specification of real-time and hybrid systems in rewriting logic
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...
Peter Csaba Ölveczky, José Meseguer
APBC
2004
122views Bioinformatics» more  APBC 2004»
13 years 10 months ago
Integrating Biopathway Databases for Large-scale Modeling and Simulation
Biopathway databases have been developed, such as KEGG and EcoCyc, that compile interaction structures of biopathways together with biological annotations. However, these biopathw...
Masao Nagasaki, Atsushi Doi, Hiroshi Matsuno, Sato...
IJCAI
2001
13 years 10 months ago
CAST: Collaborative Agents for Simulating Teamwork
Psychological studies on teamwork have shown that an effective team often can anticipate information needs of teammates based on a shared mental model. Existing multi-agent models...
John Yen, Jianwen Yin, Thomas R. Ioerger, Michael ...