Sciweavers

7117 search results - page 343 / 1424
» IT Governance Frameworks as Methods
Sort
View
CIVR
2009
Springer
146views Image Analysis» more  CIVR 2009»
16 years 1 months ago
Web news categorization using a cross-media document graph
In this paper we propose a multimedia categorization framework that is able to exploit information across different parts of a multimedia document (e.g., a Web page, a PDF, a Micr...
José Iria, Fabio Ciravegna, João Mag...
ENTCS
2007
113views more  ENTCS 2007»
15 years 6 months ago
A Formalization of Strong Normalization for Simply-Typed Lambda-Calculus and System F
We formalize in the logical framework ATS/LF a proof based on Tait’s method that establishes the simply-typed lambda-calculus being strongly normalizing. In malization, we emplo...
Kevin Donnelly, Hongwei Xi
WABI
2010
Springer
172views Bioinformatics» more  WABI 2010»
15 years 5 months ago
Fast Mapping and Precise Alignment of AB SOLiD Color Reads to Reference DNA
Abstract. Applied Biosystems’ SOLiD system offers a low-cost alternative to the traditional Sanger method of DNA sequencing. We introduce two main algorithms of mapping SOLiD’...
Miklós Csürös, Szilveszter Juhos,...
PAMI
2006
132views more  PAMI 2006»
15 years 6 months ago
Capitalize on Dimensionality Increasing Techniques for Improving Face Recognition Grand Challenge Performance
This paper presents a novel pattern recognition framework by capitalizing on dimensionality increasing techniques. In particular, the framework integrates Gabor image representatio...
Chengjun Liu
SMA
2005
ACM
132views Solid Modeling» more  SMA 2005»
16 years 9 days ago
Simplified engineering analysis via medial mesh reduction
Numerous simplification methods have been proposed for speeding up engineering analysis/ simulation. A recently proposed medial axis reduction is one such method, that is particul...
Murari Sinha, Krishnan Suresh