7988 search results - page 11 / 1598 » A Useful Undecidable Theory |
AI
2010
Springer
14 years 11 days 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....
FSTTCS
2003
Springer
14 years 23 days 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...
CAISE
2003
Springer
14 years 23 days 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...
ITCC
2005
IEEE
14 years 1 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 ...
FSEN
2007
Springer
14 years 1 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...