415 search results - page 46 / 83 » Regular Processes and Timed Automata |
122
click to vote
ICASSP
2011
IEEE
14 years 5 months 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...
147
click to vote
ICASSP
2011
IEEE
14 years 5 months 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...
105
click to vote
CONIELECOMP
2005
IEEE
15 years 7 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...
124
click to vote
FORMATS
2008
Springer
15 years 3 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...
126
click to vote
IJCV
2006
15 years 1 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...