Sciweavers

874 search results - page 34 / 175
» Computing Weighted Solutions in Answer Set Programming
Sort
View
CLUSTER
2003
IEEE
14 years 4 months ago
A Cluster-Based Solution for High Performance Hmmpfam Using EARTH Execution Model
Hmmpfam is a widely used computation-intensive bioinformatics software for sequence classification. The contribution of this paper is the first largely scalable and robust clust...
Weirong Zhu, Yanwei Niu, Jizhu Lu, Chuan Shen, Gua...
CORR
2010
Springer
200views Education» more  CORR 2010»
13 years 10 months ago
Unified Compression-Based Acceleration of Edit-Distance Computation
The edit distance problem is a classical fundamental problem in computer science in general, and in combinatorial pattern matching in particular. The standard dynamic programming s...
Danny Hermelin, Gad M. Landau, Shir Landau, Oren W...
ECSQARU
2007
Springer
14 years 4 months ago
Syntactic Propositional Belief Bases Fusion with Removed Sets
Abstract. The problem of merging multiple sources information is central in several domains of computer science. In knowledge representation for artificial intelligence, several a...
Julien Hué, Odile Papini, Eric Würbel
ICCV
2009
IEEE
15 years 3 months ago
Label Set Perturbation for MRF based Neuroimaging Segmentation
Graph-cuts based algorithms are effective for a variety of segmentation tasks in computer vision. Ongoing research is focused toward making the algorithms even more general, as ...
Dylan Hower, Vikas Singh, Sterling C. Johnson
VLSID
2003
IEEE
103views VLSI» more  VLSID 2003»
14 years 11 months ago
Minimum Dynamic Power CMOS Circuit Design by a Reduced Constraint Set Linear Program
In the previous work, the problem of nding gate delays to eliminate glitches has been solved by linear programs (LP) requiring an exponentially large number ofconstraints. By intr...
Tezaswi Raja, Vishwani D. Agrawal, Michael L. Bush...