Search Sciweavers | Sciweavers

16

COGSCI
2006

107views more COGSCI 2006»

Arrows in Comprehending and Producing Mechanical Diagrams

13 years 5 months ago

Mechanical systems have structural organizations--parts, and their relations--and functional organizations--temporal, dynamic, and causal processes--which can be explained using t...

Julie Heiser, Barbara Tversky

claim paper

Read More »

20

click to vote

MST
2006

106views more MST 2006»

More Fun with Symmetric Venn Diagrams

13 years 5 months ago

Download webhome.cs.uvic.ca

Abstract. Many researchers have had fun searching for and rendering symmetric Venn diagrams, culminating in the recent result of Griggs, Killian, and Savage ("Venn Diagrams an...

Frank Ruskey, Mark Weston

claim paper

Read More »

19

click to vote

ENTCS
2006

174views more ENTCS 2006»

Symbolic Reasoning with Weighted and Normalized Decision Diagrams

13 years 5 months ago

Download www.inf.tu-dresden.de

Several variants of Bryant's ordered binary decision diagrams have been suggested in the literature to reason about discrete functions. In this paper, we introduce a generic ...

Jörn Ossowski, Christel Baier

claim paper

Read More »

5

click to vote

JACIII
2006

41views more JACIII 2006»

An Inference Algorithm for Electronic System Diagnostics at the Block Diagram Level

13 years 5 months ago

Download www.fujipress.jp

Celso Bation

claim paper

Read More »

14

click to vote

CAD
2006
Springer

114views Theoretical Computer Science» more CAD 2006»

Region-expansion for the Voronoi diagram of 3D spheres

13 years 5 months ago

Download www.math.zju.edu.cn

Given a set of spheres in 3D, constructing its Voronoi diagram in Euclidean distance metric is not easy at all even though many mathematical properties of its structure are known....

Donguk Kim, Deok-Soo Kim

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers