1071 search results - page 143 / 215 » Modelling Ontology Evaluation and Validation |
177
click to vote
EMS
2009
IEEE
16 years 29 days ago
2009
IEEE
—The use of wireless sensor networks is rapidly growing in various types of applications that benefit from spatially distributed data collection. Some of these applications, suc...
155
click to vote
JOBIM
2000
15 years 9 months ago
2000
Abstract. A tree representation distance method, applied to any dissimilarity array, always gives a valued tree, even if the tree model is not appropriate. In the first part, we pr...
162
Voted
HASE
1999
IEEE
15 years 10 months ago
1999
IEEE
Even though a thorough system specification improves the quality of the design , it is not sufficient to guarantee that a system will satisfy its reliability targets. Within this ...
196
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Model-checking alternating-time properties has recently attracted much interest in the verification of distributed protocols. While checking the validity of a specificati...
151
click to vote
AUTOMATICA
2010
15 years 6 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...