1664 search results - page 240 / 333 » Testing in the Component Age |
PKDD
2009
Springer
15 years 4 months ago
2009
Springer
We consider causally sufficient acyclic causal models in which the relationship among the variables is nonlinear while disturbances have linear effects, and show that three princi...
SBMF
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper presents a case study on retrospective veri cation of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
SCALESPACE
2009
Springer
15 years 4 months ago
2009
Springer
The Beltrami flow is an efficient non-linear filter, that was shown to be effective for color image processing. The corresponding anisotropic diffusion operator strongly couple...
PERVASIVE
2010
Springer
15 years 4 months ago
2010
Springer
Indications of cognitive impairments such as dementia and traumatic brain injury (TBI) are often subtle and may be frequently missed by primary care physicians. We describe an expe...
AINA
2008
IEEE
15 years 4 months ago
2008
IEEE
An experimental study shows the feasibility of service-oriented architectures for industrial automation and control systems even with respect to lower, real-time dependent control...