3676 search results - page 608 / 736 » Scalable component abstractions |
75
Voted
CAV
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. The problem of finding a small unsatisfiable core of an unsatisfiable CNF formula is addressed. The proposed algorithm, Trimmer, iterates over each internal node d in the...
123
Voted
ESWS
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Automated service composition refers to automating the entire process of composing a workflow. This involves automating the discovery and selection of the service, ensuri...
92
Voted
CIVR
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We propose a graph based method to improve the performance of person queries in large news video collections. The method benefits from the multi-modal structure of videos...
116
Voted
DAGM
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Active Shape Models are commonly used to recognize and locate different aspects of known rigid objects. However, they require an off-line learning stage, such that the ex...
112
click to vote
ECOOPWEXCEPTION
2006
Springer
15 years 4 months ago
2006
Springer
Exception handling is a powerful abstraction that can be used to help manage errors and support the construction of reliable operating systems. Using exceptions to notify system co...