Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
7167
search results - page 99 / 1434
»
Answer Set Programming
Sort
relevance
views
votes
recent
update
View
thumb
title
108
Voted
ICALP
2007
Springer
81
views
Programming Languages
»
more
ICALP 2007
»
Hash Functions in the Dedicated-Key Setting: Design Choices and MPP Transforms
15 years 10 months ago
Download
eprint.iacr.org
Mihir Bellare, Thomas Ristenpart
claim paper
Read More »
117
click to vote
IFIP
2007
Springer
120
views
Programming Languages
»
more
IFIP 2007
»
Level Set Method for Shape and Topology Optimization of Contact Problems
15 years 10 months ago
Download
ifip2007.agh.edu.pl
Andrzej Myslinski
claim paper
Read More »
133
Voted
ICLP
2004
Springer
91
views
Automated Reasoning
»
more
ICLP 2004
»
Generalised Kernel Sets for Inverse Entailment
15 years 9 months ago
Download
www.cs.bris.ac.uk
Oliver Ray, Krysia Broda, Alessandra Russo
claim paper
Read More »
94
click to vote
ICLP
2003
Springer
115
views
Automated Reasoning
»
more
ICLP 2003
»
Intensional Sets in CLP
15 years 9 months ago
Download
users.dimi.uniud.it
Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
claim paper
Read More »
158
Voted
CDC
2010
IEEE
155
views
Control Systems
»
more
CDC 2010
»
Relaxing LMI domination matricially
14 years 11 months ago
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 »