6800 search results - page 745 / 1360 » Testing with Functions as Specifications |
173
click to vote
AUTOMATICA
2010
15 years 7 months ago
2010
Linear System Identification yields a nominal model parameter, which minimizes a specific criterion based on the single inputoutput data set. Here we investigate the utility of va...
185
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract--Mountain river torrents and snow avalanches generate human and material damages with dramatic consequences. Knowledge about natural phenomenona is often lacking and exper...
188
click to vote
FGCS
2008
15 years 7 months ago
2008
This paper summarises ongoing research and recent results on the development of flexible access control infrastructure for complex resource provisioning in Grid-based collaborativ...
165
click to vote
IJCV
2006
15 years 7 months ago
2006
This paper explores various aspects of the image decomposition problem using modern variational techniques. We aim at splitting an original image f into two components u and v, whe...
172
click to vote
JBI
2008
15 years 7 months ago
2008
The term registry is widely used to refer to any database storing clinical information collected as a byproduct of patient care. Despite the use of this single characterizing term...