Sciweavers

3318 search results - page 19 / 664
» The Weak Instance Model
Sort
View
MLQ
2002
59views more  MLQ 2002»
15 years 3 months ago
Weak Arithmetics and Kripke Models
Morteza Moniri
88
Voted
JSCIC
2010
84views more  JSCIC 2010»
14 years 10 months ago
Numerical Simulation of a Weakly Nonlinear Model for Water Waves with Viscosity
Maria Kakleas, David P. Nicholls
ER
2004
Springer
79views Database» more  ER 2004»
15 years 9 months ago
Multi-phase Process Mining: Building Instance Graphs
Abstract. Deploying process-driven information systems is a time-consuming and error-prone task. Process mining attempts to improve this by automatically generating a process model...
Boudewijn F. van Dongen, Wil M. P. van der Aalst