4814 search results - page 849 / 963 » Combining abstract interpreters |
ISVC
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Occluding contour (OC) plays important roles in many computer vision tasks. The study of using OC for visual inference tasks is however limited, partially due to the lack...
IWPEC
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Inclusion/exclusion branching is a way to branch on requirements imposed on problems, in contrast to the classical branching on parts of the solution. The technique turne...
MEMOCODE
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract--This paper shows an implementation of CANSCID (Combined Architecture for Stream Categorization and Intrusion Detection). To satisfy the required system throughput, the pa...
MICCAI
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. We introduce a value-based noise reduction method for DualEnergy CT applications. It is based on joint intensity statistics estimated from high- and low-energy CT scans o...
PAAMS
2010
Springer
13 years 8 months ago
2010
Springer
Abstract One of the most significant paradigm shifts of modern business management is that individual businesses no longer compete as autonomous entities but rather as supply chain...