5608 search results - page 366 / 1122 » On the Theory of Matchgate Computations |
189
click to vote
SEMCO
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we propose a novel method for generating engaging multi-modal content automatically from text. Rhetorical Structure Theory (RST) is used to decompose text into disc...
169
click to vote
SEMCO
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper aims to present ideas to bridge the gap between two conflicting views of information: Shannon information, which is used to model physical layer information, and se...
164
click to vote
AIMS
2007
Springer
16 years 1 months ago
2007
Springer
Promise theory defines a method by which static service bindings are made in a network, but little work has been done on handling the dynamic case in which bindings must change ov...
170
click to vote
CIE
2007
Springer
16 years 1 months ago
2007
Springer
In the standard model of inductive inference, a learner gets as input the graph of a function, and has to discover (in the limit) a program for the function. In this paper, we cons...
207
click to vote
TLCA
2007
Springer
16 years 28 days ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...