3742 search results - page 57 / 749 » On the Use of Formal Techniques for Validation |
160
click to vote
TVLSI
2002
15 years 5 months ago
2002
Concurrent error detection (CED) based on time redundancy entails performing the normal computation and the re-computation at different times and then comparing their results. Time...
182
click to vote
FLAIRS
2007
15 years 8 months ago
2007
Clustering attempts to discover significant groups present in a data set. It is an unsupervised process. It is difficult to define when a clustering result is acceptable. Thus,...
157
click to vote
ER
2004
Springer
15 years 11 months ago
2004
Springer
Social and intentional behaviours appear as two main components of the agent paradigm. Methods of conventional software engineering do not seem to be appropriate to gain a full kno...
184
click to vote
TC
2010
15 years 4 months ago
2010
—Reliability analysis has become a tool of fundamental importance to virtually all electrical and computer engineers because of the extensive usage of hardware systems in safety ...
149
click to vote
PAMI
2002
15 years 5 months ago
2002
In this article, we evaluate the performance of three clustering algorithms, hard K-Means, single linkage, and a simulated annealing (SA) based technique, in conjunction with four ...