Search Sciweavers | Sciweavers

15792 search results - page 89 / 3159

» Computational Abstraction Steps

130

click to vote

FCT
2009
Springer

105views Applied Computing» more FCT 2009»

Three-Valued Abstractions of Markov Chains: Completeness for a Sizeable Fragment of PCTL

16 years 27 days ago

Download www.doc.ic.ac.uk

Michael Huth, Nir Piterman, Daniel Wagner

claim paper

Read More »

128

click to vote

MIG
2009
Springer

111views Computer Graphics» more MIG 2009»

Path Abstraction for Combined Navigation and Animation

16 years 26 days ago

Download people.cs.uu.nl

Ben J. H. van Basten, Arjan Egges

claim paper

Read More »

133

click to vote

CCGRID
2008
IEEE

128views Distributed And Parallel Com...» more CCGRID 2008»

Grid Resource Abstraction, Virtualization, and Provisioning for Time-Targeted Applications

16 years 24 days ago

Download csag.ucsd.edu

Yang-Suk Kee, Carl Kesselman

claim paper

Read More »

127

click to vote

NCA
2008
IEEE

119views Computer Networks» more NCA 2008»

An Abstract Channel Specification and an Algorithm Implementing It Using Java Sockets

16 years 22 days ago

Download www2.cs.ucy.ac.cy

Chryssis Georgiou, Peter M. Musial, Alexander A. S...

claim paper

Read More »

148

click to vote

PG
2007
IEEE

171views Computer Graphics» more PG 2007»

Abstract Line Drawings from 2D Images

16 years 18 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers