357 search results - page 45 / 72 » Verifying properties of process definitions |
ENTCS
2007
13 years 7 months ago
2007
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...
ICASSP
2007
IEEE
13 years 9 months ago
2007
IEEE
This paper introduces a variable regularization method for the fast affine projection algorithm (VR-FAP). It is inspired by a recently introduced technique for variable regulariza...
TCS
2010
13 years 6 months ago
2010
Robustness, the ability to analyze any input regardless of its grammaticality, is a desirable property for any system dealing with unrestricted natural language text. Error-repair...
MICCAI
2009
Springer
14 years 8 months ago
2009
Springer
We propose a novel method for deformable tensor?to?tensor registration of Diffusion Tensor Imaging (DTI) data. Our registration method considers estimated diffusion tensors as norm...
APAQS
2000
IEEE
14 years 17 hour ago
2000
IEEE
Although quality is not easy to evaluate since it is a complex concept compound by different aspects, several properties that make a good object-oriented design have been recogniz...