Search Sciweavers | Sciweavers

In [6] Besnard and Schaub elaborated a novel approach to paraconsistent reasoning which lead to a family of paraconsistent consequence relations. In a sense these try to safeguard...

Philippe Besnard, Torsten Schaub

claim paper

Read More »

108

click to vote

JOT
2002

103views more JOT 2002»

"Design by Contract" + "Componentware" = "Design by Signed Contract"

15 years 5 months ago

Download www.jot.fm

Andreas Rausch

claim paper

Read More »

129

click to vote

MVA
1998

95views Computer Vision» more MVA 1998»

Sign language recognition using model-based tracking and a 3D Hopfield neural network

15 years 5 months ago

Download www.ee.nthu.edu.tw

Chung-Lin Huang, Wen-Yi Huang

claim paper

Read More »

121

click to vote

SOCO
1998
Springer

92views Software Engineering» more SOCO 1998»

Reducing signed propositional formulas

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers