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
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
1003
search results - page 2 / 201
»
Type Inference with Inequalities
Sort
relevance
views
votes
recent
update
View
thumb
title
15
click to vote
VMCAI
2009
Springer
96
views
Software Engineering
»
more
VMCAI 2009
»
SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities
14 years 1 days ago
Download
research.microsoft.com
Abstract. We introduce Subpolyhedra (SubPoly) a new numerical abstract domain to infer and propagate linear inequalities. SubPoly is as expressive as Polyhedra, but it drops some o...
Vincent Laviron, Francesco Logozzo
claim paper
Read More »
14
click to vote
JAT
2002
73
views
more
JAT 2002
»
Sharp Integral Inequalities of the Hermite-Hadamard Type
13 years 5 months ago
Download
www.mi.uni-erlangen.de
Allal Guessab, Gerhard Schmeisser
claim paper
Read More »
8
click to vote
RC
2007
66
views
more
RC 2007
»
Guaranteeing the Homotopy Type of a Set Defined by Non-Linear Inequalities
13 years 4 months ago
Download
www.istia.univ-angers.fr
Nicolas Delanoue, Luc Jaulin, Bertrand Cottenceau
claim paper
Read More »
11
click to vote
SODA
2010
ACM
121
views
Algorithms
»
more
SODA 2010
»
Lower bounds for Edit Distance and Product Metrics via Poincare-Type Inequalities
13 years 4 months ago
Download
people.csail.mit.edu
Alexandr Andoni, T.S. Jayram, Mihai Patrascu
claim paper
Read More »
10
click to vote
ISCI
2010
102
views
more
ISCI 2010
»
An inequality related to Minkowski type for Sugeno integrals
13 years 3 months ago
Download
library.utia.cas.cz
Yao Ouyang, Radko Mesiar, Hamzeh Agahi
claim paper
Read More »
« Prev
« First
page 2 / 201
Last »
Next »