Sciweavers

7167 search results - page 99 / 1434

» Answer Set Programming

19

ICALP
2007
Springer

81views Programming Languages» more ICALP 2007»

Hash Functions in the Dedicated-Key Setting: Design Choices and MPP Transforms

14 years 2 months ago

Hash Functions in the Dedicated-Key Setting: Design Choices and MPP Transforms

Download eprint.iacr.org

Mihir Bellare, Thomas Ristenpart

claim paper

Read More »

20

IFIP
2007
Springer

120views Programming Languages» more IFIP 2007»

Level Set Method for Shape and Topology Optimization of Contact Problems

14 years 2 months ago

Level Set Method for Shape and Topology Optimization of Contact Problems

Download ifip2007.agh.edu.pl

Andrzej Myslinski

claim paper

Read More »

34

ICLP
2004
Springer

91views Automated Reasoning» more ICLP 2004»

Generalised Kernel Sets for Inverse Entailment

14 years 1 months ago

Generalised Kernel Sets for Inverse Entailment

Download www.cs.bris.ac.uk

Oliver Ray, Krysia Broda, Alessandra Russo

claim paper

Read More »

18

ICLP
2003
Springer

115views Automated Reasoning» more ICLP 2003»

Intensional Sets in CLP

14 years 1 months ago

Intensional Sets in CLP

Download users.dimi.uniud.it

Agostino Dovier, Enrico Pontelli, Gianfranco Rossi

claim paper

Read More »

28

CDC
2010
IEEE

155views Control Systems» more CDC 2010»

Relaxing LMI domination matricially

13 years 2 months ago

Relaxing LMI domination matricially

Download www.math.ucsd.edu

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

claim paper

Read More »

« Prev « First page 99 / 1434 Last » Next »