Sciweavers

5918 search results - page 993 / 1184
» A view of cloud computing
Sort
View
BPM
2010
Springer
191views Business» more  BPM 2010»
15 years 5 months ago
Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis
Abstract. A configurable process model describes a family of similar process models in a given domain. Such a model can be configured to obtain a specific process model that is sub...
Wil M. P. van der Aalst, Niels Lohmann, Marcello L...
DAGM
2010
Springer
15 years 5 months ago
On-Line Multi-view Forests for Tracking
Abstract. A successful approach to tracking is to on-line learn discriminative classifiers for the target objects. Although these trackingby-detection approaches are usually fast a...
Christian Leistner, Martin Godec, Amir Saffari, Ho...
FSTTCS
2008
Springer
15 years 5 months ago
STCON in Directed Unique-Path Graphs
ABSTRACT. We study the problem of space-efficient polynomial-time algorithms for directed stconnectivity (STCON). Given a directed graph G, and a pair of vertices s, t, the STCON ...
Sampath Kannan, Sanjeev Khanna, Sudeepa Roy
ICFP
2010
ACM
15 years 5 months ago
A fresh look at programming with names and binders
A wide range of computer programs, including compilers and theorem provers, manipulate data structures that involve names and binding. However, the design of programming idioms wh...
Nicolas Pouillard, François Pottier
ICMCS
2010
IEEE
217views Multimedia» more  ICMCS 2010»
15 years 5 months ago
3D Image format identification by image difference
Many 3D formats exist and will co-exist for a long time since there is no 3D standard that defines a generally accepted 3D format. The support for multiple 3D formats will be impo...
Tao Zhang