Sciweavers

7167 search results - page 99 / 1434
» Answer Set Programming
Sort
View
80
Voted
ICALP
2007
Springer
15 years 6 months ago
Hash Functions in the Dedicated-Key Setting: Design Choices and MPP Transforms
Mihir Bellare, Thomas Ristenpart
108
Voted
ICLP
2004
Springer
15 years 6 months ago
Generalised Kernel Sets for Inverse Entailment
Oliver Ray, Krysia Broda, Alessandra Russo
ICLP
2003
Springer
15 years 5 months ago
Intensional Sets in CLP
Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
123
Voted
CDC
2010
IEEE
155views Control Systems» more  CDC 2010»
14 years 7 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