Sciweavers

64 search results - page 3 / 13
» Occlusion handling based on support and decision
Sort
View
ACCV
2006
Springer
13 years 11 months ago
Multiregion Level Set Tracking with Transformation Invariant Shape Priors
Tracking of regions and object boundaries in an image sequence is a well studied problem in image processing and computer vision. So far, numerous approaches tracking different fea...
Michael Fussenegger, Rachid Deriche, Axel Pinz
APSEC
2003
IEEE
13 years 10 months ago
An XVCL Approach to Handling Variants: A KWIC Product Line Example
We developed XVCL (XML-based Variant Configuration Language), a method and tool for product lines, to facilitate handling variants in reusable software assets (such as architectur...
Hongyu Zhang, Stan Jarzabek
JAR
2006
103views more  JAR 2006»
13 years 5 months ago
A Framework for Verifying Bit-Level Pipelined Machines Based on Automated Deduction and Decision Procedures
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
Panagiotis Manolios, Sudarshan K. Srinivasan
AIMS
2008
Springer
13 years 11 months ago
An Architecture for Supporting Network Fault Recovery Management
Highly available and resilient networks play a decisive role in today’s networked world. As network faults are inevitable and networks are becoming constantly intricate, finding...
Feng Liu, Antonis M. Hadjiantonis, Ha Manh Tran, M...
ISIPTA
2003
IEEE
111views Mathematics» more  ISIPTA 2003»
13 years 10 months ago
The DecideIT Decision Tool
The nature of much information available to decision makers is vague and imprecise, be it information for human managers in organisations or for process agents in a distributed co...
Mats Danielson, Love Ekenberg, Jim Johansson, Aron...