4502 search results - page 245 / 901 » Regular Model Checking |
168
click to vote
ER
2005
Springer
15 years 12 months ago
2005
Springer
In this paper a novel approach for the tool–based quality assurance of models is presented. The approach provides a meta model framework for domain specific and tool–independe...
156
click to vote
MICCAI
2002
Springer
16 years 7 months ago
2002
Springer
The development of Diffusion Tensor MRI has raised hopes in the neuro-science community for in vivo methods to track fiber paths in the white matter. A number of approaches have be...
165
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
We present a physical phantom designed for fibre tractography validation and use it to evaluate tracking algorithms that employ (a) the classic diffusion tensor model of diffusion...
206
click to vote
ADMA
2009
Springer
16 years 1 months ago
2009
Springer
Image spam is a new trend in the family of email spams. The new image spams employ a variety of image processing technologies to create random noises. In this paper, we propose a s...
148
click to vote
GCB
2000
Springer
15 years 10 months ago
2000
Springer
In previous work [10], we considered algorithms related to the statistics of matches with words and regular expressions in texts generated by Bernoulli or Markov sources. In this w...