Sciweavers

5718 search results - page 251 / 1144
» Modeling Rule Precision
Sort
View
SYNASC
2005
IEEE
117views Algorithms» more  SYNASC 2005»
16 years 5 days ago
Functional-Based Synthesis of Systolic Online Multipliers
— Systolic online algorithms for the multiplication of univariate polynomials and of multiple precision integers are synthesised using a novel method based on the following funct...
Tudor Jebelean, Laura Szakacs
ICNC
2005
Springer
16 years 3 days ago
Automatic Text Summarization Based on Lexical Chains
Abstract. The method of lexical chains is the first time introduced to generate summaries from Chinese texts. The algorithm which computes lexical chains based on the HowNet knowl...
Yanmin Chen, Xiaolong Wang, Guan Yi
SAS
2004
Springer
103views Formal Methods» more  SAS 2004»
15 years 12 months ago
Information Flow Analysis in Logical Form
Abstract. We specify an information flow analysis for a simple imperative language, using a Hoare-like logic. The logic facilitates static checking of a larger class of programs t...
Torben Amtoft, Anindya Banerjee
CIKM
1998
Springer
15 years 10 months ago
Ontology-Based Extraction and Structuring of Information from Data-Rich Unstructured Documents
We present a new approach to extracting information from unstructured documents based on an application ontology that describes a domain of interest. Starting with such an ontolog...
David W. Embley, Douglas M. Campbell, Randy D. Smi...
CLEAR
2006
Springer
151views Biometrics» more  CLEAR 2006»
15 years 10 months ago
Head Pose Estimation on Low Resolution Images
This paper addresses the problem of estimating head pose over a wide range of angles from low-resolution images. Faces are detected using chrominance-based features. Grey-level nor...
Nicolas Gourier, Jérôme Maisonnasse, ...