MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  Combining Observations and Expectations: Application to the Renement of an Image Sequence Classication

Download:
Download as a PDF | Download as a PS
by Marie-odile Cordier
http://www.irisa.fr/aida/Christine.Largouet/uai.ps
Add To MetaCart

Abstract:

The main idea of this paper is to take prot of the available knowledge on the dynamics of a system to improve the quality of a sequence of observations issued by an image classier. It has been applied to rene the landcover classication of an image sequence. The agricultural system is modeled by a probabilistic timed automaton. One of the original points is the use of both predicted and postdicted expectations which are combined to observations in a bayesian way. 1

Citations

1421 The theory of timed automata – Alur, Dill - 1991
444 Symbolic model checking for real-time systems – Henzinger, Nicollin, et al. - 1994
65 Filtering: Theory and Practice – Grewal, Andrews, et al. - 1993
26 Modeling belief in dynamic systems. Part II: revision and update – Friedman, Halpern - 1999
20 A unified model of qualitative belief change: a dynamical systems perspective – Boutilier - 1998
11 Kronos: A verication tool for real-time systems – Yovine - 1997
10 Prioritized transitions for updates – Cordier, Si'egel - 1995
5 Filtering vs revision and update: let us debate – Cossart, Tessier - 1999
3 Linking transition-based update and base revision – Cordier, Lang - 1995
1 Automatic verication of real-time systems with discrete probability distributions – Kwiatkowska, Norman, et al. - 1999
1 Timed Automata Model to Improve the Classication of a Sequence of Images – Largouet, Cordier - 2000