415 search results - page 46 / 83 » Regular Processes and Timed Automata |
ICASSP
2011
IEEE
13 years 12 days ago
2011
IEEE
Graphical models are useful for capturing interdependencies of statistical variables in various fields. Estimating parameters describing sparse graphical models of stationary mul...
ICASSP
2011
IEEE
13 years 12 days ago
2011
IEEE
The problem addressed is source localization via time-differenceof-arrival estimation in a multipath channel. Solving this localization problem typically implies cross-correlating...
CONIELECOMP
2005
IEEE
14 years 2 months ago
2005
IEEE
The approximate searching problem on compressed text tries to find all the matches of a pattern in a compressed text, without decompressing it and considering that the match of th...
FORMATS
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. We apply three different modeling frameworks -- timed automata (Uppaal), colored Petri nets and synchronous data flow -- to model a challenging industrial case study that...
IJCV
2006
13 years 8 months ago
2006
Consider the problem of image deblurring in the presence of impulsive noise. Standard image deconvolution methods rely on the Gaussian noise model and do not perform well with imp...