Sciweavers

596 search results - page 108 / 120
» Subtyping Recursive Types
Sort
View
AFP
2008
Springer
249views Formal Methods» more  AFP 2008»
15 years 6 months ago
An iTask Case Study: A Conference Management System
Workflow systems are automated systems in which tasks are coordinated by assigning them to either humans or computers. Contemporary workflow systems are static and not very flex...
Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopm...
HUMO
2007
Springer
15 years 5 months ago
Multi-activity Tracking in LLE Body Pose Space
We present a method to simultaneously estimate 3d body pose and action categories from monocular video sequences. Our approach learns a lowdimensional embedding of the pose manifol...
Tobias Jaeggli, Esther Koller-Meier, Luc J. Van Go...
SOFSEM
2007
Springer
15 years 5 months ago
Straightening Drawings of Clustered Hierarchical Graphs
In this paper we deal with making drawings of clustered hierarchical graphs nicer. Given a planar graph G = (V, E) with an assignment of the vertices to horizontal layers, a plane ...
Sergey Bereg, Markus Völker, Alexander Wolff,...
VLDB
2007
ACM
149views Database» more  VLDB 2007»
15 years 5 months ago
Probabilistic Skylines on Uncertain Data
Uncertain data are inherent in some important applications. Although a considerable amount of research has been dedicated to modeling uncertain data and answering some types of qu...
Jian Pei, Bin Jiang, Xuemin Lin, Yidong Yuan
RTSS
2006
IEEE
15 years 5 months ago
Generalized Elastic Scheduling
The elastic task model proposed by Buttazzo, et. al. [9] is a powerful model for adapting real-time systems in the presence of uncertainty. This paper generalizes the existing ela...
Thidapat Chantem, Xiaobo Sharon Hu, Michael D. Lem...