7988 search results - page 11 / 1598 » A Useful Undecidable Theory |
115
Voted
AI
2010
Springer
15 years 8 months ago
2010
Springer
Many classification techniques used for identifying spam emails, treat spam filtering as a binary classification problem. That is, the incoming email is either spam or non-spam....
126
click to vote
FSTTCS
2003
Springer
15 years 8 months ago
2003
Springer
For monoids that satisfy a weak cancellation condition, it is shown that the decidability of the existential theory of word equations is preserved under graph products. Furthermore...
104
click to vote
CAISE
2003
Springer
15 years 8 months ago
2003
Springer
This paper presents an algorithm for termination static analysis of active rules with priorities. Active rules termination is an undecidable problem. Several recent works have sugg...
126
click to vote
ITCC
2005
IEEE
15 years 9 months ago
2005
IEEE
It is important to predict and analyze user acceptance of information technology in order to address success and failures of technological products. The Theory of Reasoned Action ...
119
Voted
FSEN
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...