3931 search results - page 613 / 787 » Separation logic and abstraction |
171
click to vote
CLOR
2006
15 years 11 months ago
2006
Abstract. We propose a generative approach to the problem of labeling images containing configurations of objects from multiple classes. The main building blocks are dense statisti...
226
click to vote
DAWAK
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Biobanks are gaining in importance by storing large collections of patient's clinical data (e.g. disease history, laboratory parameters, diagnosis, life style) toget...
214
click to vote
DCOSS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Resource constrained systems often are programmed using an eventbased model. Many applications do not lend themselves well to an event-based approach, but preemptive mult...
221
Voted
ECCV
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. This paper presents a novel method to solve multi-view face detection problem by Error Correcting Output Codes (ECOC). The motivation is that face patterns can be divided...
229
click to vote
EDOC
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract-- Analysis of workflows in terms of structural correctness is important for ensuring the quality of workflow models. Typically, this analysis is only one step in a larger ...