Sciweavers

1209 search results - page 131 / 242
» On the Resilience of Classes to Change
Sort
View
JELIA
2000
Springer
15 years 10 months ago
Considerations on Updates of Logic Programs
Abstract. Among others, Alferes et al. (1998) presented an approach for updating logic programs with sets of rules based on dynamic logic programs. We syntactically redefine dynami...
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Ha...
APN
1997
Springer
15 years 10 months ago
Verification of Workflow Nets
Abstract. Workflow management systems will change the architecture of future information systems dramatically. The explicit representation of business procedures is one of the main...
Wil M. P. van der Aalst
PARA
2000
Springer
15 years 10 months ago
Runtime Adaptation of an Iterative Linear System Solution to Distributed Environments
Abstract. Distributed cluster environments are becoming popular platforms for high performance computing in lieu of single-vendor supercomputers. However, the reliability and susta...
Masha Sosonkina
COCOON
2008
Springer
15 years 8 months ago
Probe Ptolemaic Graphs
Given a class of graphs, G, a graph G is a probe graph of G if its vertices can be partitioned into two sets, P (the probes) and N (the nonprobes), where N is an independent set, s...
David B. Chandler, Maw-Shang Chang, Ton Kloks, Van...
ECCV
2008
Springer
15 years 8 months ago
Robust Object Tracking by Hierarchical Association of Detection Responses
Abstract. We present a detection-based three-level hierarchical association approach to robustly track multiple objects in crowded environments from a single camera. At the low lev...
Chang Huang, Bo Wu, Ramakant Nevatia