5608 search results - page 212 / 1122 » On the Theory of Matchgate Computations |
145
click to vote
DBSEC
2009
15 years 3 months ago
2009
With the rapid growth in wireless networks and sensor and mobile devices, we are moving towards an era of pervasive computing. Access control is challenging in these environments. ...
105
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Statistical learning theory chiefly studies restricted hypothesis classes, particularly those with finite Vapnik-Chervonenkis (VC) dimension. The fundamental quantity of interest i...
ICTAC
2009
Springer
15 years 8 months ago
2009
Springer
“Classical” program development by refinement [12, 2, 3] is a technique for ensuring that source-level program code remains faithful to the semantic goals set out in its corre...
129
click to vote
ISSAC
2009
Springer
15 years 8 months ago
2009
Springer
Cylindrical algebraic decomposition is one of the most important tools for computing with semi-algebraic sets, while triangular decomposition is among the most important approache...
115
click to vote
CCGRID
2008
IEEE
15 years 8 months ago
2008
IEEE
Collective operations and non-blocking point-to-point operations are two important parts of MPI that each provide important performance and programmability benefits. Although non...