Sciweavers

484 search results - page 50 / 97
» Computing Hilbert Class Polynomials
Sort
View
ICML
2005
IEEE
14 years 9 months ago
A support vector method for multivariate performance measures
This paper presents a Support Vector Method for optimizing multivariate nonlinear performance measures like the F1score. Taking a multivariate prediction approach, we give an algo...
Thorsten Joachims
COCO
2009
Springer
96views Algorithms» more  COCO 2009»
14 years 3 months ago
Parallel Approximation of Non-interactive Zero-sum Quantum Games
This paper studies a simple class of zero-sum games played by two competing quantum players: each player sends a mixed quantum state to a referee, who performs a joint measurement...
Rahul Jain, John Watrous
ICALP
2004
Springer
14 years 2 months ago
Deciding Knowledge in Security Protocols Under Equational Theories
The analysis of security protocols requires precise formulations of the knowledge of protocol participants and attackers. In formal approaches, this knowledge is often treated in t...
Martín Abadi, Véronique Cortier
AUTOMATICA
2002
95views more  AUTOMATICA 2002»
13 years 8 months ago
Series expansions for analytic systems linear in control
This paper presents a series expansion for the evolution of a class of nonlinear systems characterized by constant input vector fields. We present a series expansion that can be c...
Francesco Bullo
SBBD
2004
119views Database» more  SBBD 2004»
13 years 10 months ago
Computing the Dependency Basis for Nested List Attributes
Multi-valued dependencies (MVDs) are an important class of constraints that is fundamental for relational database design. Although modern applications increasingly require the su...
Sven Hartmann, Sebastian Link