2206 search results - page 281 / 442 » On the power of coercion abstraction |
154
click to vote
ISVC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Linear systems and eigen-calculations on symmetric diagonally dominant matrices (SDDs) occur ubiquitously in computer vision, computer graphics, and machine learning. In ...
175
click to vote
LPNMR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We consider the problem of whether a given preferred answer set program can be reduced to a propositional formula. Research on this topic is of both theoretical and pract...
132
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Non-functional properties (NFPs) concern various characteristics of a system (cost, power, QoS). These characteristics belong to different models of the system, built by...
162
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
Side effects are both the essence and bane of imperative programming. The programmer must carefully coordinate actions to manage their side effects upon each other. Such coordinat...
198
click to vote
PAIRING
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Efficient non-interactive zero-knowledge proofs are a powerful tool for solving many cryptographic problems. We apply the recent Groth-Sahai (GS) proof system for pairing...