Search Sciweavers | Sciweavers

16616 search results - page 209 / 3324

» Extending Extended Vacuity

143

click to vote

CADE
2001
Springer

105views 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

113views 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

98views 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

170views 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

114views Programming Languages» more ICALP 2000»

Extended Notions of Security for Multicast Public Key Cryptosystems

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers