Sciweavers

1061 search results - page 66 / 213
» A general definition of malware
Sort
View
FSS
2008
122views more  FSS 2008»
15 years 6 months ago
Type-2 implications on non-interactive fuzzy truth values
In this paper we consider algebras of fuzzy truth values equipped with an implication operation. Generalizing the definition of type-1 fuzzy implications, we discuss extended fuzz...
Zsolt Gera, József Dombi
CORR
2006
Springer
98views Education» more  CORR 2006»
15 years 6 months ago
A Formal Measure of Machine Intelligence
A fundamental problem in artificial intelligence is that nobody really knows what intelligence is. The problem is especially acute when we need to consider artificial systems whic...
Shane Legg, Marcus Hutter
APAL
2005
135views more  APAL 2005»
15 years 6 months ago
Safe beliefs for propositional theories
We propose an extension of answer sets, that we call safe beliefs, that can be used to study several properties and notions of answer sets and logic programming from a more genera...
Mauricio Osorio, Juan Antonio Navarro Pérez...
ACTA
2002
84views more  ACTA 2002»
15 years 6 months ago
Formal properties of XML grammars and languages
We consider XML documents described by a document type definition (DTD). An XML-grammar is a formal grammar that captures the syntactic features of a DTD. We investigate properties...
Jean Berstel, Luc Boasson
CORR
2002
Springer
91views Education» more  CORR 2002»
15 years 6 months ago
Quantum Random Walks Hit Exponentially Faster
We show that the hitting time of the discrete time quantum random walk on the n-bit hypercube from one corner to its opposite is polynomial in n. This gives the first exponential ...
Julia Kempe