1816 search results - page 23 / 364 » Formal Concepts of Learning Systems Validation in Use |
SAFECOMP
1998
Springer
14 years 1 days ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
COGSR
2010
13 years 3 months ago
2010
Computational concepts of cognition, their implementation in complex autonomous systems, and their empirical evaluation are key techniques to understand and validate concepts of c...
KDD
2007
ACM
14 years 8 months ago
2007
ACM
In many practical applications, one is interested in generating a ranked list of items using information mined from continuous streams of data. For example, in the context of comp...
RAID
2009
Springer
14 years 3 months ago
2009
Springer
In this paper, we leverage the concepts of formal grammar and genetic operators to evolve malware. As a case study, we take COM infectors and design their formal grammar with produ...
DATE
2005
IEEE
14 years 2 months ago
2005
IEEE
Increase in system level modeling has given rise to a need for efficient functional validation of models above cycle accurate level. This paper presents a technique for comparing...