1061 search results - page 12 / 213 » A general definition of malware |
FCT
2007
Springer
13 years 11 months ago
2007
Springer
We give an algorithm for deciding productivity of a large and natural class of recursive stream definitions. A stream definition is called `productive' if it can be evaluated ...
ACL2
2006
ACM
13 years 11 months ago
2006
ACM
We investigate the logical issues behind axiomatizing equations that contain both recursive calls and quantifiers in ACL2. We identify a class of such equations, named extended ta...
WSC
1998
13 years 8 months ago
1998
The word "scalability" is used in a variety of ways by different simulation communities. This paper describes some of the more common usages and presents a general, unif...
IEEEICCI
2009
IEEE
14 years 2 months ago
2009
IEEE
We outline a general conceptual definition of real-world general intelligence that avoids the twin pitfalls of excessive mathematical generality, and excessive anthropomorphism.. ...
CC
2002
Springer
13 years 7 months ago
2002
Springer
In this paper we present the fusion of generalized LR parsing and scannerless parsing. This combination supports syntax definitions in which all aspects (lexical and context-free) ...