Sciweavers

28888 search results - page 420 / 5778
» Computability and complexity in analysis
Sort
View
EDOC
2000
IEEE
15 years 11 months ago
Model Checking of Workflow Schemas
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
Christos T. Karamanolis, Dimitra Giannakopoulou, J...
IPPS
1999
IEEE
15 years 11 months ago
Tailor-Made Operating Systems for Embedded Parallel Applications
This paper presents the Pure/Epos approach to deal with the high complexity of adaptable operating systems and also to diminish the distance between application and operating syste...
Antônio Augusto Fröhlich, Wolfgang Schr...
CA
1998
IEEE
15 years 11 months ago
Vision-Based Animation of Digital Humans
This paper presents a system for animating customized virtual humans using motion parameters estimated from multi-view image sequences. The advantage of our method is that the sub...
Ioannis A. Kakadiaris, Dimitris N. Metaxas
APN
2006
Springer
15 years 10 months ago
A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets
Abstract. In this work, we address the problem of transient and steadystate analysis of a stochastic Petri net which includes non Markovian distributions with a finite support but ...
Serge Haddad, Lynda Mokdad, Patrice Moreaux
CVPR
2010
IEEE
15 years 10 months ago
Hybrid Shift Map for Video Retargeting
We propose a new method for video retargeting, which can generate spatial-temporal consistent video. The new measure called spatial-temporal naturality preserves the motion in the ...
Yiqun Hu and Deepu Rajan