2646 search results - page 103 / 530 » Local Type Inference |
112
click to vote
MODELS
2010
Springer
15 years 28 days ago
2010
Springer
Abstract. A new trend in runtime system monitoring is to utilize MOFbased techniques in analyzing the runtime system data. Approaches and tools have been proposed to automatically ...
177
Voted
WACV
2012
IEEE
13 years 10 months ago
2012
IEEE
Human movements are important cues for recognizing human actions, which can be captured by explicit modeling and tracking of actor or through space-time low-level features. Howeve...
128
click to vote
ESORICS
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. Many protocols rely on audit trails to allow an impartial judge to verify a posteriori some property of a protocol run. However, in current practice the choice of what da...
139
click to vote
HYBRID
2004
Springer
15 years 8 months ago
2004
Springer
We present a parameter inference algorithm for autonomous stochastic linear hybrid systems, which computes a maximum-likelihood model, given only a set of continuous output data of...
125
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: Likelihood (ML)-based phylogenetic inference has become a popular method for estimating the evolutionary relationships among species based on genomic sequence data. Th...