3082 search results - page 302 / 617 » Deviation Analysis: A New Use of Model Checking |
177
click to vote
BPM
2009
Springer
16 years 1 months ago
2009
Springer
It is vital to use accurate models for the analysis, design, and/or control of business processes. Unfortunately, there are often important discrepancies between reality and models...
163
click to vote
IJDET
2010
15 years 3 months ago
2010
: This paper deals with the use of learning styles in technology-enhanced learning, by introducing a so-called "Unified Learning Style Model" (ULSM). The article aims at ...
157
click to vote
RECOMB
2007
Springer
16 years 7 months ago
2007
Springer
With the increasing availability of experimental data on gene-gene and protein-protein interactions, modeling of gene regulatory networks has gained a special attention lately. To ...
169
click to vote
CP
2007
Springer
16 years 24 days ago
2007
Springer
It has been widely observed that there is no “dominant” SAT solver; instead, different solvers perform best on different instances. Rather than following the traditional appr...
157
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
- Some of manufacturing tasks such as sawing task often requires continuous impulsive motion. In case of sawing task, such impulsive motions can be observed between the teeth of th...