Sciweavers

285 search results - page 4 / 57
» Representing Process Variation with a Process Family
Sort
View
DAC
2010
ACM
15 years 1 months ago
Representative path selection for post-silicon timing prediction under variability
The identification of speedpaths is required for post-silicon (PS) timing validation, and it is currently becoming timeconsuming due to manufacturing variations. In this paper we...
Lin Xie, Azadeh Davoodi
FUZZIEEE
2007
IEEE
15 years 1 months ago
A Linguistic Multi-level Weighted Query Language to Represent User Information Needs
An ordinal fuzzy linguistic Information Retrieval System (IRS) based on a multi-level weighting scheme to represent the user queries, in a more flexible way, is proposed. The IRS a...
Enrique Herrera-Viedma, Antonio Gabriel Lóp...
ICDAR
2009
IEEE
14 years 7 months ago
A Generic Form Processing Approach for Large Variant Templates
In today's world, form processing systems must be able to recognize mutant forms that appear to be based on differing templates but are actually only a variation of the origi...
Yaakov Navon, Ella Barkan, Boaz Ophir
ACTA
2010
81views more  ACTA 2010»
14 years 9 months ago
Lifting non-finite axiomatizability results to extensions of process algebras
Abstract This paper presents a general technique for obtaining new results pertaining to the non-finite axiomatizability of behavioral semantics over process algebras from old ones...
Luca Aceto, Wan Fokkink, Anna Ingólfsd&oacu...
MMM
2011
Springer
244views Multimedia» more  MMM 2011»
14 years 1 months ago
Generating Representative Views of Landmarks via Scenic Theme Detection
Visual summarization of landmarks is an interesting and non-trivial task with the availability of gigantic community-contributed resources. In this work, we investigate ways to gen...
Yi-Liang Zhao, Yan-Tao Zheng, Xiangdong Zhou, Tat-...