5608 search results - page 106 / 1122 » On the Theory of Matchgate Computations |
109
click to vote
STACS
2005
Springer
15 years 7 months ago
2005
Springer
Dynamic complexity investigates the required effort to maintain knowledge about a property of a structure under changing operations. This article introduces a refined notion of ...
109
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
In this paper we survey the primary research, both theoretical and applied, in the area of Robust Optimization (RO). Our focus is on the computational attractiveness of RO approac...
ENTCS
2007
15 years 1 months ago
2007
Nominal rewriting introduced a novel method of specifying rewriting on syntax-with-binding. We extend this treatment of rewriting with hierarchy of variables representing increasi...
121
click to vote
CORR
1999
Springer
15 years 1 months ago
1999
Springer
The abstract mathematical theory of partial differential equations (PDEs) is formulated in terms of manifolds,scalar fields, tensors, and the like, but these algebraic structures a...
129
click to vote
AI
2008
Springer
15 years 6 days ago
2008
Springer
Although classical first-order logic is the de facto standard logical foundation for artificial intelligence, the lack of a built-in, semantically grounded capability for reasonin...