9166 search results - page 306 / 1834 » A framework for comparing models of computation |
138
click to vote
ACL
2011
14 years 8 months ago
2011
This paper presents a novel approach for leveraging automatically extracted textual knowledge to improve the performance of control applications such as games. Our ultimate goal i...
133
click to vote
ASIAN
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
124
Voted
IANDC
1998
15 years 4 months ago
1998
We present a model for representing search in theorem proving. This model captures the notion of contraction, which has been central in some of the recent developments in theorem ...
135
click to vote
AI
2008
Springer
15 years 4 months ago
2008
Springer
Local computation in join trees or acyclic hypertrees has been shown to be linked to a particular algebraic structure, called valuation algebra. There are many models of this alge...
172
Voted
CORR
2004
Springer
15 years 4 months ago
2004
Springer
Full formal descriptions of algorithms making use of quantum principles must take into account both quantum and classical computing components and assemble them so that they commu...