Sciweavers

4770 search results - page 247 / 954
» Flexible Type Analysis
Sort
View
ENGL
2008
133views more  ENGL 2008»
15 years 7 months ago
Cycle Time Forecasting Models for Defect Inspection Process in TFT-LCD Module Assembly
Because most of the procedures in defect inspection process of TFT-LCD module assembly are examined manually through human vision, cycle time estimation for this particular process...
Chien-wen Shen
ENTCS
2006
142views more  ENTCS 2006»
15 years 7 months ago
The Rewriting Logic Semantics Project
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational semantics and structural operational semantics (SOS) in a novel way, avoiding th...
José Meseguer, Grigore Rosu
JCP
2007
120views more  JCP 2007»
15 years 7 months ago
Application of Multi-Attribute Decision Making Approach to Learning Management Systems Evaluation
—The article presents an approach to the development of multi-attribute decision making model that is based on DEX, an expert system shell for multi-attribute decision support. W...
Tanja Arh, Borka Jerman-Blazic
IJDAR
2002
108views more  IJDAR 2002»
15 years 7 months ago
Document understanding for a broad class of documents
We present a document analysis system able to assign logical labels and extract the reading order in a broad set of documents. All information sources, from geometric features and ...
Marco Aiello, Christof Monz, Leon Todoran
ICIP
2010
IEEE
15 years 5 months ago
Image quantization under spatial smoothness constraints
Quantization, defined as the act of attributing a finite number of grey-levels to an image, is an essential task in image acquisition and coding. It is also intricately linked to ...
Anna Jezierska, Caroline Chaux, Hugues Talbot, Jea...