742 search results - page 106 / 149 » Model Independent Order Relations for Processes |
192
click to vote
FASE
2011
Springer
14 years 5 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
106
click to vote
CVPR
2008
IEEE
16 years 4 months ago
2008
IEEE
In this paper, we propose a novel dynamic discrete framework to address image morphing with application to optical flow estimation. We reformulate the problem using a number of di...
125
Voted
JVCA
2007
15 years 1 months ago
2007
This paper describes an impulse-based dynamic simulation method for articulated bodies which has a linear time complexity. Existing linear-time methods are either based on a reduc...
104
click to vote
BIRD
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Gaussian graphical models are widely used to tackle the important and challenging problem of inferring genetic regulatory networks from expression data. These models have...
119
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: Codon substitution constitutes a fundamental process in molecular biology that has been studied extensively. However, prior studies rely on various assumptions, e.g. r...