Sciweavers

4118 search results - page 579 / 824
» Efficient Algorithms for Airline Problem
Sort
View
DSD
2010
IEEE
171views Hardware» more  DSD 2010»
15 years 3 months ago
Test Patterns Compression Technique Based on a Dedicated SAT-Based ATPG
— In this paper we propose a new method of test patterns compression based on a design of a dedicated SAT-based ATPG (Automatic Test Pattern Generator). This compression method i...
Jiri Balcarek, Petr Fiser, Jan Schmidt
ACL
2010
15 years 2 months ago
Dynamic Programming for Linear-Time Incremental Parsing
Incremental parsing techniques such as shift-reduce have gained popularity thanks to their efficiency, but there remains a major problem: the search is greedy and only explores a ...
Liang Huang, Kenji Sagae
DLOG
2010
15 years 2 months ago
Correcting Access Restrictions to a Consequence
Recent research has shown that annotations are useful for representing access restrictions to the axioms of an ontology and their implicit consequences. Previous work focused on co...
Martin Knechtel, Rafael Peñaloza
ICIP
2010
IEEE
15 years 2 months ago
Bayesian regularization of diffusion tensor images using hierarchical MCMC and loopy belief propagation
Based on the theory of Markov Random Fields, a Bayesian regularization model for diffusion tensor images (DTI) is proposed in this paper. The low-degree parameterization of diffus...
Siming Wei, Jing Hua, Jiajun Bu, Chun Chen, Yizhou...
ICPR
2010
IEEE
15 years 2 months ago
Learning the Kernel Combination for Object Categorization
Although Support Vector Machines(SVM) succeed in classifying several image databases using image descriptors proposed in the literature, no single descriptor can be optimal for ge...
Deyuan Zhang, Xiaolong Wang, Bingquan Liu