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
3255
search results - page 1 / 651
»
Combination of Abstractions in the ASTR
Sort
relevance
views
votes
recent
update
View
thumb
title
11
click to vote
ASIAN
2006
Springer
80
views
Algorithms
»
more
ASIAN 2006
»
Combination of Abstractions in the ASTRÉE Static Analyzer
13 years 8 months ago
Download
www.di.ens.fr
Patrick Cousot, Radhia Cousot, Jérôme...
claim paper
Read More »
15
click to vote
ICFP
2005
ACM
125
views
Programming Languages
»
more
ICFP 2005
»
Combining higher-order abstract syntax with first-order abstract syntax in ATS
14 years 4 months ago
Download
www.cs.bu.edu
Kevin Donnelly, Hongwei Xi
claim paper
Read More »
10
click to vote
ICCAD
2007
IEEE
134
views
Hardware
»
more
ICCAD 2007
»
Hybrid CEGAR: combining variable hiding and predicate abstraction
14 years 1 months ago
Download
www.nec-labs.com
ion Chao Wang NEC Laboratories America Hyondeuk Kim University of Colorado Aarti Gupta NEC Laboratories America Variable hiding and predicate abstraction are two popular abstracti...
Chao Wang, Hyondeuk Kim, Aarti Gupta
claim paper
Read More »
12
click to vote
ICDM
2009
IEEE
131
views
Data Mining
»
more
ICDM 2009
»
Combining Super-Structuring and Abstraction on Sequence Classification
13 years 11 months ago
Download
www.cs.iastate.edu
Adrian Silvescu, Cornelia Caragea, Vasant Honavar
claim paper
Read More »
11
click to vote
MIG
2009
Springer
111
views
Computer Graphics
»
more
MIG 2009
»
Path Abstraction for Combined Navigation and Animation
13 years 11 months ago
Download
people.cs.uu.nl
Ben J. H. van Basten, Arjan Egges
claim paper
Read More »
« Prev
« First
page 1 / 651
Last »
Next »