874 search results - page 34 / 175 » Computing Weighted Solutions in Answer Set Programming |
CLUSTER
2003
IEEE
14 years 10 months ago
2003
IEEE
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...
CORR
2010
Springer
14 years 4 months ago
2010
Springer
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...
ECSQARU
2007
Springer
14 years 11 months ago
2007
Springer
Abstract. The problem of merging multiple sources information is central in several domains of computer science. In knowledge representation for artificial intelligence, several a...
ICCV
2009
IEEE
15 years 9 months ago
2009
IEEE
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 ...
VLSID
2003
IEEE
15 years 5 months ago
2003
IEEE
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...