Sciweavers

2775 search results - page 26 / 555

» Visualizing abstract events

32

GD
2000
Springer

80views Computer Graphics» more GD 2000»

FADE: Graph Drawing, Clustering, and Visual Abstraction

14 years 2 months ago

FADE: Graph Drawing, Clustering, and Visual Abstraction

Download www.lirmm.fr

Aaron J. Quigley, Peter Eades

claim paper

Read More »

26

DICTA
2003

112views Applied Computing» more DICTA 2003»

Visual Investigation Using Circular Partitioning of Abstract Images

14 years 7 days ago

Visual Investigation Using Circular Partitioning of Abstract Images

Download www.aprs.org.au

Abdolah Chalechale, Golshah Naghdy, Alfred Mertins

claim paper

Read More »

22

CGF
2008

84views more CGF 2008»

Visual Abstractions of Solvent Pathlines near Protein Cavities

13 years 11 months ago

Visual Abstractions of Solvent Pathlines near Protein Cavities

Download www.vis.uni-stuttgart.de

bstractions of Solvent Pathlines near Protein Cavities Katrin Bidmon1 , Sebastian Grottel1 , Fabian B

Katrin Bidmon, Sebastian Grottel, Fabian Bös,...

claim paper

Read More »

23

VLC
1998

56views more VLC 1998»

Abstract Syntax and Semantics of Visual Languages

13 years 10 months ago

Abstract Syntax and Semantics of Visual Languages

Download web.engr.oregonstate.edu

Martin Erwig

claim paper

Read More »

26

SBMF
2009
Springer

156views Formal Methods» more SBMF 2009»

Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B

14 years 5 months ago

Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B

Download eprints.ecs.soton.ac.uk

Abstract. Event-B is a formal method used for specifying and reasoning about systems. Rodin is a toolset for developing system models in Event-B. Our experiment which is outlined i...

Kriangsak Damchoom, Michael J. Butler

claim paper

Read More »

« Prev « First page 26 / 555 Last » Next »