Search Sciweavers | Sciweavers

835 search results - page 5 / 167

» Geometric Logic in Computer Science

click to vote

ICFEM
2005
Springer

128views Software Engineering» more ICFEM 2005»

Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry

14 years 2 months ago

Download rsg.informatik.uni-kl.de

Many safety-critical systems deal with geometric objects. Reasoning about the correctness of such systems is mandatory and requires the use of basic deﬁnitions of geometry for th...

Jens Brandt, Klaus Schneider

claim paper

Read More »

click to vote

CAD
2004
Springer

82views Theoretical Computer Science» more CAD 2004»

Solving spatial basic geometric constraint configurations with locus intersection

13 years 8 months ago

Download www.cs.purdue.edu

Xiao-Shan Gao, Christoph M. Hoffmann, Wei-Qiang Ya...

claim paper

Read More »

click to vote

CAD
2002
Springer

76views Theoretical Computer Science» more CAD 2002»

Geometric constraint solving with conics and linkages

13 years 8 months ago

Download www.iss.ac.cn

Xiao-Shan Gao, Kun Jiang, Chang-Cai Zhu

claim paper

Read More »

click to vote

CAD
1999
Springer

85views Theoretical Computer Science» more CAD 1999»

Object reconstruction by incorporating geometric constraints in reverse engineering

13 years 8 months ago

Download eref.uqu.edu.sa

Naoufel Werghi, Robert B. Fisher, Craig Robertson,...

claim paper

Read More »

click to vote

ICYCS
2008
IEEE

222views Theoretical Computer Science» more ICYCS 2008»

Introduction to the Reform on the Course of Fundamental Logic and Computer Design

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers