Search Sciweavers | Sciweavers

29046 search results - page 5 / 5810

» Computable Models

123

VISUALIZATION
2002
IEEE

124views Visualization» more VISUALIZATION 2002»

Christmas Tree Case Study: Computed Tomography as a Tool for Mastering Complex Real World Objects with Applications in Computer

15 years 7 months ago

Download www.cg.tuwien.ac.at

We report on using computed tomography (CT) as a model acquisition tool for complex objects in computer graphics. Unlike other modeling and scanning techniques the complexity of t...

Armin Kanitsar, Thomas Theußl, Lukas Mroz, M...

claim paper

Read More »

241

click to vote

AB
2008
Springer

384views Computational Biology» more AB 2008»

Tutorial on Model Checking: Modelling and Verification in Computer Science

15 years 9 months ago

Download fmv.jku.at

Armin Biere

claim paper

Read More »

120

Voted

IPPS
2005
IEEE

103views Distributed And Parallel Com...» more IPPS 2005»

Models and Modeling Infrastructures for Global Computational Platforms

15 years 8 months ago

Download pompone.cs.ucsb.edu

Richard Wolski, Daniel Nurmi, John Brevik, Henri C...

claim paper

Read More »

click to vote

COMPSAC
2007
IEEE

128views Software Engineering» more COMPSAC 2007»

Adaptive Agent Model: an Agent Interaction and Computation Model

15 years 9 months ago

Download www.cisa.informatics.ed.ac.uk

Liang Xiao 0002, David Robertson, Madalina Croitor...

claim paper

Read More »

click to vote

CONCURRENCY
2008

89views more CONCURRENCY 2008»

From computation models to models of provenance: the RWS approach

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers