3690 search results - page 613 / 738 » Computation with classical sequents |
CISS
2010
IEEE
14 years 1 months ago
2010
IEEE
Abstract-Malicious attacks against power system state estimation are considered. It has been recently observed that if an adversary is able to manipulate the measurements taken at ...
104
click to vote
CVIU
2011
14 years 1 months ago
2011
In this paper, we tackle the problem of embedding a set of relational structures into a metric space for purposes of matching and categorisation. To this end, we view the problem ...
131
click to vote
IUI
2011
ACM
14 years 27 days ago
2011
ACM
Protractor 3D is a gesture recognizer that extends the 2D touch screen gesture recognizer Protractor [8] to 3D gestures. It inherits many of Protractor’s desirable properties, s...
119
click to vote
MSOM
2011
14 years 25 days ago
2011
We analyze volume flexibility — the ability to produce above/below the installed capacity for a product — under endogenous pricing in a two-product setting. We discover that ...
SDM
2011
SIAM
14 years 24 days ago
2011
SIAM
Popular data mining methods support knowledge discovery from patterns that hold in binary relations. We study the generalization of association rule mining within arbitrary n-ary ...