20059 search results - page 220 / 4012 » The Satellite Data Model |
CSDA
2007
15 years 1 months ago
2007
A parametric, continuous-time Markov model for digraph panel data is considered. The parameter is estimated by the method of moments. A convenient method for estimating the varian...
141
click to vote
ENTCS
2007
15 years 1 months ago
2007
Bounded Model Checking (BMC) is a successful refutation method to detect errors in not only circuits and other binary systems but also in systems with more complex domains like ti...
134
click to vote
IMCSIT
2010
14 years 11 months ago
2010
Abstract--The paper proposes a model which allows integration of services published by independent providers into scientific or business workflows. Optimization algorithms are prop...
118
click to vote
CVPR
1999
IEEE
16 years 3 months ago
1999
IEEE
We1 present a new method to shape-based segmentation of deformable anatomical structures in medical images and validate this approach by detecting and tracking the endocardial bor...
134
click to vote
ICML
2004
IEEE
16 years 2 months ago
2004
IEEE
In sequence modeling, we often wish to represent complex interaction between labels, such as when performing multiple, cascaded labeling tasks on the same sequence, or when longra...