4502 search results - page 427 / 901 » Regular Model Checking |
176
Voted
TCS
2002
15 years 6 months ago
2002
We consider the timed automata model of [3], which allows the analysis of realtime systems expressed in terms of quantitative timing constraints. Traditional approaches to real-ti...
214
click to vote
SIAMIS
2008
15 years 6 months ago
2008
We are motivated by a recently developed nonlinear inverse scale space method for image denoising [5, 6], whereby noise can be removed with minimal degradation. The additive noise ...
221
Voted
ER
2007
Springer
16 years 1 months ago
2007
Springer
Organizations are under increasing scrutiny to document their compliance to regulatory requirements. To this end, they have to formally document their operating procedures to supp...
236
Voted
SIGIR
2010
ACM
15 years 10 months ago
2010
ACM
As a principled approach to capturing semantic relations of words in information retrieval, statistical translation models have been shown to outperform simple document language m...
227
Voted
TMI
2010
15 years 1 months ago
2010
Within-subject analysis in fMRI essentially addresses two problems, the detection of brain regions eliciting evoked activity and the estimation of the underlying dynamics. In [1, 2...