Search Sciweavers | Sciweavers

16616 search results - page 209 / 3324

» Extending Extended Vacuity

152

click to vote

CADE
2001
Springer

105views Logical Reasoning» more CADE 2001»

A Model-Based Completeness Proof of Extended Narrowing and Resolution

15 years 10 months ago

Download hal.archives-ouvertes.fr

Jürgen Stuber

claim paper

Read More »

162

click to vote

COMPGEOM
2001
ACM

113views Discrete Geometry» more COMPGEOM 2001»

The Clarkson-Shor technique revisited and extended

15 years 10 months ago

Download wwwold.iit.cnr.it

Micha Sharir

claim paper

Read More »

163

click to vote

FPGA
2000
ACM

98views FPGA» more FPGA 2000»

Field programmable port extender (FPX) for distributed routing and queuing

15 years 10 months ago

Download www.ecs.umass.edu

John W. Lockwood, Jonathan S. Turner, David E. Tay...

claim paper

Read More »

117

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 10 months ago

Download www.jos.org.cn

Christophe Claramunt

claim paper

Read More »

118

click to vote

ICALP
2000
Springer

114views Programming Languages» more ICALP 2000»

Extended Notions of Security for Multicast Public Key Cryptosystems

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers