Sciweavers

7167 search results - page 99 / 1434
» Answer Set Programming
Sort
View
108
Voted
ICALP
2007
Springer
15 years 10 months ago
Hash Functions in the Dedicated-Key Setting: Design Choices and MPP Transforms
Mihir Bellare, Thomas Ristenpart
133
Voted
ICLP
2004
Springer
15 years 9 months ago
Generalised Kernel Sets for Inverse Entailment
Oliver Ray, Krysia Broda, Alessandra Russo
ICLP
2003
Springer
15 years 9 months ago
Intensional Sets in CLP
Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
158
Voted
CDC
2010
IEEE
155views Control Systems» more  CDC 2010»
14 years 11 months ago
Relaxing LMI domination matricially
Given linear matrix inequalities (LMIs) L1 and L2 in the same number of variables it is natural to ask: (Q1) does one dominate the other, that is, does L1(X) 0 imply L2(X) 0? (Q2) ...
J. William Helton, Igor Klep, Scott A. McCullough