5608 search results - page 232 / 1122 » On the Theory of Matchgate Computations |
206
click to vote
LICS
2007
IEEE
16 years 27 days ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...
177
click to vote
FCSC
2010
15 years 5 months ago
2010
Currently, with the evolution of virtualization technology, cloud computing mode has become more and more popular. However, people still concern the issues of the runtime integrity...
191
click to vote
SAGT
2010
Springer
15 years 5 months ago
2010
Springer
We consider the computational complexity of coalitional solution concepts in scenarios related to load balancing such as anonymous and congestion games. In congestion games, Paret...
162
click to vote
MOC
2000
15 years 6 months ago
2000
Some recent methods of Computer Aided Geometric Design are related to the apolar bilinear form, an inner product on the space of homogeneous multivariate polynomials of a fixed deg...
158
click to vote
GC
2010
Springer
15 years 5 months ago
2010
Springer
Intriguing and tight sets of vertices of point-line geometries have recently been studied in the literature. In this paper, we indicate a more general framework for dealing with t...