Combining Observations and Expectations: Application to the Renement of an Image Sequence Classication
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 |

