Search Sciweavers | Sciweavers

835 search results - page 11 / 167

» Geometric Logic in Computer Science

click to vote

CAD
2008
Springer

106views Theoretical Computer Science» more CAD 2008»

Geometric Hermite interpolation with circular precision

13 years 8 months ago

Download www.farinhansford.com

We present several Hermite-type interpolation methods for rational cubics. In case the input data come from a circular arc, the rational cubic will reproduce it.

Gerald E. Farin

claim paper

Read More »

click to vote

MFCS
2007
Springer

71views Theoretical Computer Science» more MFCS 2007»

Optimal Gossiping in Directed Geometric Radio Networks in Presence of Dynamical Faults

14 years 2 months ago

Download www.dia.unisa.it

Andrea E. F. Clementi, Angelo Monti, Francesco Pas...

claim paper

Read More »

click to vote

LICS
2006
IEEE

89views Automated Reasoning» more LICS 2006»

Context Semantics, Linear Logic and Computational Complexity

14 years 2 months ago

Download tocl.acm.org

Ugo Dal Lago

claim paper

Read More »

click to vote

STACS
2007
Springer

72views Theoretical Computer Science» more STACS 2007»

An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic

14 years 2 months ago

Download www-i7.informatik.rwth-aachen.de

Davide Bresolin, Angelo Montanari, Pietro Sala

claim paper

Read More »

click to vote

ERSHOV
2001
Springer

59views Theoretical Computer Science» more ERSHOV 2001»

On Expressive and Model Checking Power of Propositional Program Logics

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers