Sciweavers

5030 search results - page 260 / 1006
» cases 2007
Sort
View
RIAO
2000
15 years 8 months ago
Combining linguistic and spatial information for document analysis
We present a framework to analyze color documents of complex layout. In addition, no assumption is made on the layout. Our framework combines in a content-driven bottom-up approac...
Marco Aiello, Christof Monz, Leon Todoran
ACTA
2006
74views more  ACTA 2006»
15 years 7 months ago
Linearly bounded infinite graphs
Linearly bounded Turing machines have been mainly studied as acceptors for context-sensitive languages. We define a natural family of canonical infinite automata representing their...
Arnaud Carayol, Antoine Meyer
CCE
2004
15 years 7 months ago
Integrated environmental performance assessment of chemical processes
A method for environmental performance assessment is presented in this paper. The proposed method considers the procedure for environmental performance comparison of design altern...
Xiao-ping Jia, Fang-yu Han, Xin-shun Tan
DAC
2007
ACM
16 years 8 months ago
Automatic Verification of External Interrupt Behaviors for Microprocessor Design
Interrupt behaviors, especially the external ones, are difficult to verify in a microprocessor design project in that they involve both interacting hardware and software. This pap...
Fu-Ching Yang, Wen-Kai Huang, Ing-Jer Huang
BMCBI
2006
104views more  BMCBI 2006»
15 years 7 months ago
Semi-supervised discovery of differential genes
Background: Various statistical scores have been proposed for evaluating the significance of genes that may exhibit differential expression between two or more controlled conditio...
Shigeyuki Oba, Shin Ishii