Sciweavers

5639 search results - page 531 / 1128
» Timed Abstract Non-interference
Sort
View
CPM
2005
Springer
105views Combinatorics» more  CPM 2005»
15 years 11 months ago
Reducing the Size of NFAs by Using Equivalences and Preorders
Abstract. The efficiency of regular expression matching algorithms depends very much on the size of the nondeterministic finite automata (NFA) obtained from regular expressions. R...
Lucian Ilie, Roberto Solis-Oba, Sheng Yu
DAGM
2005
Springer
15 years 11 months ago
Robust Head Detection and Tracking in Cluttered Workshop Environments Using GMM
Abstract. A vision based head tracking approach is presented, combining foreground information with an elliptical head model based on the integration of gradient and skin-color inf...
Alexander Barth, Rainer Herpers
DEXA
2005
Springer
109views Database» more  DEXA 2005»
15 years 11 months ago
An XML Approach to Semantically Extract Data from HTML Tables
Abstract. Data intensive information is often published on the internet in the format of HTML tables. Extracting some of the information that is of users’ interest from the inter...
Jixue Liu, Zhuoyun Ao, Ho-Hyun Park, Yongfeng Chen
EMMCVPR
2005
Springer
15 years 11 months ago
Spatio-temporal Prior Shape Constraint for Level Set Segmentation
Abstract. This paper exposes a novel formulation of prior shape constraint incorporation for the level set segmentation of objects from corrupted images. Applicable to variational ...
Timothée Bailloeul, Véronique Prinet...
EMO
2005
Springer
68views Optimization» more  EMO 2005»
15 years 11 months ago
Multi-objective Optimization of Problems with Epistemic Uncertainty
Abstract. Multi-objective evolutionary algorithms (MOEAs) have proven to be a powerful tool for global optimization purposes of deterministic problem functions. Yet, in many real-w...
Philipp Limbourg