2526 search results - page 357 / 506 » A New Algorithm for Answer Set Computation |
135
click to vote
BMCBI
2006
15 years 2 months ago
2006
Background: The problem of inferring the evolutionary history and constructing the phylogenetic tree with high performance has become one of the major problems in computational bi...
123
Voted
RTA
2005
Springer
15 years 8 months ago
2005
Springer
We present constructive arithmetic in Deduction modulo with rewrite rules only. In natural deduction and in sequent calculus, the cut elimination theorem and the analysis of the st...
126
Voted
COLT
1999
Springer
15 years 6 months ago
1999
Springer
We present a unified framework for reasoning about worst-case regret bounds for learning algorithms. This framework is based on the theory of duality of convex functions. It brin...
124
Voted
SAC
2011
ACM
14 years 5 months ago
2011
ACM
Although the Web lets users freely browse and publish information, most Web information is unauthorized in contrast to conventional mass media. Therefore, it is not always credibl...
109
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we revisit the sparse multiple measurement vector (MMV) problem, where the aim is to recover a set of jointly sparse multichannel vectors from incomplete measurement...