3082 search results - page 496 / 617 » Deviation Analysis: A New Use of Model Checking |
187
click to vote
TSMC
2010
15 years 26 days ago
2010
Robust stability serves as an important regulation mechanism in system biology and synthetic biology. In this paper, the robust stability analysis problem is investigated for a cla...
133
click to vote
ASM
2010
ASM
16 years 1 months ago
2010
ASM
Identifying a minimal unsatisfiable core in an Alloy model proved to be a very useful feature in many scenarios. We extend this concept to hot core, an approximation to unsat core...
143
click to vote
AIME
2005
Springer
15 years 11 months ago
2005
Springer
A knowledge management perspective is rarely used to model a process. Using the cognitive perspective on knowledge management in which we start our analysis with events and knowled...
174
click to vote
IBPRIA
2005
Springer
15 years 11 months ago
2005
Springer
We present a method that estimates high level animation parameters (muscle contractions, eye movements, eye lids opening, jaw motion and lips contractions) from a marker-less face ...
181
click to vote
KELSI
2004
Springer
15 years 11 months ago
2004
Springer
Predictive toxicology is the task of building models capable of determining, with a certain degree of accuracy, the toxicity of chemical compounds. Machine Learning (ML) in general...