4341 search results - page 373 / 869 » Quantitative Model checking |
169
click to vote
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Nonlinearities and the lack of accurate quantitative information considerably hamper modeling and system analysis of biochemical networks. Here we propose a procedure for...
152
click to vote
EMNLP
2007
15 years 8 months ago
2007
We present a probabilistic model of diachronic phonology in which individual word forms undergo stochastic edits along the branches of a phylogenetic tree. Our approach allows us ...
165
click to vote
AIPS
2003
15 years 8 months ago
2003
A multi-heuristic schedule repair model for schedule conflict resolution is presented and its application in repairing the schedules of a prefabrication plant is described in this...
123
click to vote
WSC
1997
15 years 8 months ago
1997
This paper describes the Integrated Medical Analysis System. This evolving system consists of an integrated suite of models and tools providing quantitative and dynamic analysis f...
186
click to vote
TMI
2008
15 years 6 months ago
2008
Abstract-- This paper provides a comprehensive and quantitative review of spatial transformations models for nonrigid image registration. It explains the theoretical foundation of ...