4502 search results - page 425 / 901 » Regular Model Checking |
191
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
Abstract. We address the problem of modeling the spatial and temporal second-order statistics of video sequences that exhibit both spatial and temporal regularity, intended in a st...
192
click to vote
MICAI
2004
Springer
16 years 6 days ago
2004
Springer
In this paper we present a technique for prediction of electrical demand based on multiple models. The multiple models are composed by several local models, each one describing a r...
153
click to vote
IJIS
2002
15 years 6 months ago
2002
In search of semantic richer and more flexible database modelling and database querying techniques, different approaches based on fuzzy set theory have been developed. Among the m...
205
Voted
CVPR
2003
IEEE
16 years 9 months ago
2003
IEEE
In many applications of graphical models arising in computer vision, the hidden variables of interest are most naturally specified by continuous, non-Gaussian distributions. There...
167
Voted
ATAL
2005
Springer
16 years 12 days ago
2005
Springer
In this paper, we present, through simulations of the coffee market of the state of Veracruz, how emergence of specialized roles in participatory simulations could be used to desi...