4276 search results - page 193 / 856 » Techniques for Empirical Validation |
155
click to vote
STTT
2008
15 years 6 months ago
2008
We present ProB, a validation toolset for the B method. ProB's automated animation facilities allow users to gain confidence in their specifications. ProB also contains a mode...
161
click to vote
COLING
2002
15 years 6 months ago
2002
It is shown that basic language processes such as the production of free word associations and the generation of synonyms can be simulated using statistical models that analyze th...
188
click to vote
TROB
2002
15 years 6 months ago
2002
Abstract--With the services that autonomous robots are to provide becoming more demanding, the states that the robots have to estimate become more complex. In this article, we deve...
180
click to vote
PVLDB
2008
15 years 6 months ago
2008
The number of successful attacks on the Internet shows that it is very difficult to guarantee the security of online search engines. A breached server that is not detected in time...
166
click to vote
ICISP
2010
Springer
15 years 5 months ago
2010
Springer
Strain measurement is a quantity used for assessing the regional function of the left ventricular (LV) of the heart. They are computed by tracking the motion of the non-invasive, ...