— We aim to search for cellular automata candidate to an automatic system for the demonstration of collision-based universality and that can be able to simulate Turing machines i...
Abstract. We present a comparative study of corpus-based methods for the automatic synthesis of email responses to help-desk requests. Our methods were developed by considering two...
In this paper, we want to handle multiple interleaved Alldiff constraints from two points of view: a uniform propagation framework with some CSP reduction rules and a SAT encoding ...
Documentsretrieved in responseto a user's query shouldreflect the intention of the user. Keyword searchesare not sufficient to accomplishthis task. This paper considersLatent...
Wepresentan approachto designingreal-time systems based on dynamically sequencing condition-specific task-execution schedules. Asystem that dynamically alters its real-time execut...