Sciweavers

11063 search results - page 319 / 2213
» On the existence of universal models
Sort
View
ENTCS
2008
115views more  ENTCS 2008»
15 years 6 months ago
Branching Bisimulation Congruence for Probabilistic Systems
The notion of branching bisimulation for the alternating model of probabilistic systems is not a congruence with respect to parallel composition. In this paper we first define ano...
Nikola Trcka, Sonja Georgievska
196
Voted
IWPC
2002
IEEE
15 years 11 months ago
Theory-based Analysis of Cognitive Support in Software Comprehension Tools
Past research on software comprehension tools has produced a wealth of lessons in building good tools. However our explanations of these tools tends to be weakly grounded in exist...
Andrew Walenstein
CVPR
2009
IEEE
17 years 1 months ago
Physics-based Edge Evaluation for Improved Color Constancy
Edge-based color constancy makes use of image derivatives to estimate the illuminant. However, different edge types exist in real-world images such as shadow, geometry, material...
Arjan Gijsenij (University of Amsterdam), Theo Gev...
CVPR
2009
IEEE
17 years 1 months ago
Human Motion Synthesis from 3D Video
Multiple view 3D video reconstruction of actor performance captures a level-of-detail for body and clothing movement which is time-consuming to produce using existing animation ...
Peng Huang (University of Surrey), Adrian Hilton (...
ICPR
2000
IEEE
16 years 7 months ago
Piecewise Linear Skeletonization Using Principal Curves
We propose an algorithm to find piecewise linear skeletons of hand-written characters by using principal curves. The development of the method was inspired by the apparent similar...
Adam Krzyzak, Balázs Kégl