7988 search results - page 242 / 1598 » A Useful Undecidable Theory |
153
click to vote
IJAC
2010
15 years 1 months ago
2010
Title of dissertation: MODEL THEORY AND COMPLEXITY THEORY Walid Gomaa Doctor of Philosophy, 2007 Dissertation directed by: Professor William Gasarch Department of Computer Science...
171
click to vote
SIGMOD
2012
ACM
13 years 7 months ago
2012
ACM
Data privacy has been an important research topic in the security, theory and database communities in the last few decades. However, many existing studies have restrictive assumpt...
131
click to vote
TPHOL
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract. We use the theorem prover Isabelle to formalise and machinecheck results of the theory of generalised substitutions given by Dunne and used in the B method. We describe t...
143
click to vote
MICAI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper we utilize information theory to study the impact in learning performance of various motivation and environmental configurations. This study is done within...
153
click to vote
IJSR
2011
14 years 11 months ago
2011
Deception is utilized by a variety of intelligent systems ranging from insects to human beings. It has been argued that the use of deception is an indicator of theory of mind [2] ...