Sciweavers

15792 search results - page 89 / 3159
» Computational Abstraction Steps
Sort
View
92
Voted
FCT
2009
Springer
15 years 10 months ago
Three-Valued Abstractions of Markov Chains: Completeness for a Sizeable Fragment of PCTL
Michael Huth, Nir Piterman, Daniel Wagner
MIG
2009
Springer
15 years 10 months ago
Path Abstraction for Combined Navigation and Animation
Ben J. H. van Basten, Arjan Egges
NCA
2008
IEEE
15 years 10 months ago
An Abstract Channel Specification and an Algorithm Implementing It Using Java Sockets
Chryssis Georgiou, Peter M. Musial, Alexander A. S...
117
Voted
PG
2007
IEEE
15 years 9 months ago
Abstract Line Drawings from 2D Images
Minjung Son, Henry Kang, Yunjin Lee, Seungyong Lee