Sciweavers

1128 search results - page 162 / 226
» Classical Natural Deduction
Sort
View
141
Voted
CSCLP
2008
Springer
15 years 2 months ago
Robust Solutions in Unstable Optimization Problems
We consider constraint optimization problems where costs (or preferences) are all given, but some are tagged as possibly unstable, and provided with a range of alternative values. ...
Maria Silvia Pini, Francesca Rossi, Kristen Brent ...
AAAI
2010
15 years 2 months ago
Multi-Task Active Learning with Output Constraints
Many problems in information extraction, text mining, natural language processing and other fields exhibit the same property: multiple prediction tasks are related in the sense th...
Yi Zhang 0010
AAAI
2010
15 years 2 months ago
Good Rationalizations of Voting Rules
The concept of distance rationalizability allows one to define new voting rules or "rationalize" existing ones via a consensus class of elections and a distance. A conse...
Edith Elkind, Piotr Faliszewski, Arkadii M. Slinko
105
Voted
CIMAGING
2010
150views Hardware» more  CIMAGING 2010»
15 years 2 months ago
Randomized group testing for acoustic source localization
Undersea localization requires a computationally expensive partial differential equation simulation to test each candidate hypothesis location via matched filter. We propose a met...
William Mantzel, Justin K. Romberg, Karim Sabra
DAGSTUHL
2007
15 years 2 months ago
The Sinkhorn-Knopp Algorithm: Convergence and Applications
As long as a square nonnegative matrix A contains sufficient nonzero elements, then the Sinkhorn-Knopp algorithm can be used to balance the matrix, that is, to find a diagonal sc...
Philip A. Knight