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
16616
search results - page 209 / 3324
»
Extending Extended Vacuity
Sort
relevance
views
votes
recent
update
View
thumb
title
143
click to vote
CADE
2001
Springer
105
views
Logical Reasoning
»
more
CADE 2001
»
A Model-Based Completeness Proof of Extended Narrowing and Resolution
15 years 9 months ago
Download
hal.archives-ouvertes.fr
Jürgen Stuber
claim paper
Read More »
156
click to vote
COMPGEOM
2001
ACM
113
views
Discrete Geometry
»
more
COMPGEOM 2001
»
The Clarkson-Shor technique revisited and extended
15 years 9 months ago
Download
wwwold.iit.cnr.it
Micha Sharir
claim paper
Read More »
150
click to vote
FPGA
2000
ACM
98
views
FPGA
»
more
FPGA 2000
»
Field programmable port extender (FPX) for distributed routing and queuing
15 years 9 months ago
Download
www.ecs.umass.edu
John W. Lockwood, Jonathan S. Turner, David E. Tay...
claim paper
Read More »
115
click to vote
GIS
2000
ACM
170
views
Automated Reasoning
»
more
GIS 2000
»
Extending Ladkin's algebra on non-convex intervals towards an algebra on union-of regions
15 years 9 months ago
Download
www.jos.org.cn
Christophe Claramunt
claim paper
Read More »
111
click to vote
ICALP
2000
Springer
114
views
Programming Languages
»
more
ICALP 2000
»
Extended Notions of Security for Multicast Public Key Cryptosystems
15 years 9 months ago
Download
www.di.ens.fr
Olivier Baudron, David Pointcheval, Jacques Stern
claim paper
Read More »
« Prev
« First
page 209 / 3324
Last »
Next »