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
9520
search results - page 249 / 1904
»
or 2011
Sort
relevance
views
votes
recent
update
View
thumb
title
152
click to vote
AIPS
2011
217
views
Artificial Intelligence
»
more
AIPS 2011
»
Abstraction Heuristics Extended with Counting Abstractions
14 years 10 months ago
Download
ldc.usb.ve
Blai Bonet
claim paper
Read More »
184
click to vote
ALGORITHMICA
2011
188
views
Artificial Intelligence
»
more
ALGORITHMICA 2011
»
Approximating Minimum-Power Degree and Connectivity Problems
14 years 10 months ago
Download
www.openu.ac.il
Guy Kortsarz, Vahab S. Mirrokni, Zeev Nutov, Elena...
claim paper
Read More »
219
click to vote
APN
2011
Springer
270
views
Artificial Intelligence
»
more
APN 2011
»
A Tool for Automated Test Code Generation from High-Level Petri Nets
14 years 10 months ago
Download
www.homepages.dsu.edu
Dianxiang Xu
claim paper
Read More »
422
click to vote
APPML
2011
460
views
Software Engineering
»
more
APPML 2011
»
New subclasses of bi-univalent functions
14 years 10 months ago
Download
www.aabu.edu.jo
Basem A. Frasin, M. K. Aouf
claim paper
Read More »
135
click to vote
ASPDAC
2011
ACM
183
views
Hardware
»
more
ASPDAC 2011
»
Multi-core parallel simulation of System-level Description Languages
14 years 10 months ago
Download
www.aspdac.com
Rainer Dömer, Weiwei Chen, Xu Han, Andreas Ge...
claim paper
Read More »
« Prev
« First
page 249 / 1904
Last »
Next »
