Sciweavers

4084 search results - page 342 / 817
» Constraints in spatial structures
Sort
View
254
Voted
ICDAR
2009
IEEE
16 years 2 months ago
HMM-Based Handwritten Amharic Word Recognition with Feature Concatenation
Amharic is the official language of Ethiopia and uses Ethiopic script for writing. In this paper, we present writer-independent HMM-based Amharic word recognition for offline hand...
Yaregal Assabie, Josef Bigün
VISUALIZATION
1996
IEEE
15 years 11 months ago
Visualization of Laser Confocal Microscopy Datasets
This paper presents an example of how existing visualization methods can be successfully applied { after minor modi cations { for allowing new, sometimes unexpected insight in sci...
Georgios Sakas, Michael G. Vicker, Peter Jörg...
205
Voted
CADE
2005
Springer
16 years 7 months ago
An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
Viktor Kuncak, Huu Hai Nguyen, Martin C. Rinard
WEBI
2010
Springer
15 years 5 months ago
DSP: Robust Semi-supervised Dimensionality Reduction Using Dual Subspace Projections
High-dimensional data usually incur learning deficiencies and computational difficulties. We present a novel semi-supervised dimensionality reduction technique that embeds high-dim...
Su Yan, Sofien Bouaziz, Dongwon Lee
ISAAC
2007
Springer
146views Algorithms» more  ISAAC 2007»
16 years 1 months ago
Bounded Tree-Width and CSP-Related Problems
We study the complexity of structurally restricted homomorphism and constraint satisfaction problems. For every class of relational structures C, let LHOM(C, _) be the problem of d...
Tommy Färnqvist, Peter Jonsson