4502 search results - page 231 / 901 » Regular Model Checking |
166
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
Based on the theory of Markov Random Fields, a Bayesian regularization model for diffusion tensor images (DTI) is proposed in this paper. The low-degree parameterization of diffus...
212
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Mobile phone data provides rich dynamic information on human activities in social network analysis. In this paper, we represent data from two different modalities as a graph and f...
169
click to vote
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
We present a dynamic near-regular texture (NRT) tracking algorithm nested in a lattice-based Markov-Random-Field (MRF) model of a 3D spatiotemporal space. One basic observation use...
191
click to vote
UAI
2008
15 years 7 months ago
2008
Identifying co-varying causal elements in very high dimensional feature space with internal structures, e.g., a space with as many as millions of linearly ordered features, as one...
182
Voted
FORMATS
2009
Springer
16 years 28 days ago
2009
Springer
Embedded real-time systems are typically programmed in low-level languages which provide support for event-driven task processing and real-time interrupts. We show that the model c...