325 search results - page 27 / 65 » Analysis of the constraint proposal method for two-party neg... |
106
Voted
CAV
2009
Springer
16 years 1 months ago
2009
Springer
Recent development on distributed systems has shown that a variety of fairness constraints (some of which are only recently defined) play vital roles in designing self-stabilizing ...
118
Voted
GRC
2010
IEEE
15 years 1 months ago
2010
IEEE
We present a problem of factor analysis of three-way binary data, i.e. data described by a 3-dimensional binary matrix I, describing a relationship between objects, attributes, an...
LISP
2008
15 years 13 days ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
128
Voted
JMLR
2010
14 years 7 months ago
2010
Security analysis of learning algorithms is gaining increasing importance, especially since they have become target of deliberate obstruction in certain applications. Some securit...
108
Voted
ICDM
2009
IEEE
14 years 10 months ago
2009
IEEE
The discovery and construction of inherent regions in large spatial datasets is an important task for many research domains such as climate zoning, eco-region analysis, public heal...