Sciweavers

949 search results - page 46 / 190
» ISAC - Instance-Specific Algorithm Configuration
Sort
View
FORTE
2009
13 years 6 months ago
Approximated Context-Sensitive Analysis for Parameterized Verification
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezin...
ICDAR
2011
IEEE
12 years 7 months ago
Script-Free Text Line Segmentation Using Interline Space Model for Printed Document Images
—This paper proposes a model-based text line segmentation algorithm for machine-printed document images. The model is based on geometric configuration which uses the interline sp...
Minwoo Kim, Il-Seok Oh
MICCAI
2007
Springer
14 years 9 months ago
Object Localization Based on Markov Random Fields and Symmetry Interest Points
We present an approach to detect anatomical structures by configurations of interest points, from a single example image. The representation of the configuration is based on Markov...
Branislav Micusík, Georg Langs, Horst Bisch...
ICPR
2008
IEEE
14 years 2 months ago
Full body tracking-based human action recognition
In this paper, we present a novel method for human action recognition with the combined global movement feature and local configuration feature. The human action is represented as...
Junxia Gu, Xiaoqing Ding, Shengjin Wang, Youshou W...
ANSS
2003
IEEE
14 years 1 months ago
An Event-Driven Approach to Crosstalk Noise Analysis
Crosstalk noise evaluation consists in analysing the effect of the transition of a signal - called aggressor - on its neighbours - called victims. This evaluation is based on a mo...
Pirouz Bazargan-Sabet, Patricia Renault