4209 search results - page 575 / 842 » Abstract Dialectical Frameworks |
155
click to vote
CC
2003
Springer
15 years 9 months ago
2003
Springer
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...
157
click to vote
IPMI
2003
Springer
16 years 5 months ago
2003
Springer
Abstract. For medical image analysis issues where the domain mappings between images involve large geometrical shape changes, such as the cases of nonrigid motion recovery and inte...
128
click to vote
KDD
2002
ACM
16 years 4 months ago
2002
ACM
Abstract. Since more and more Web sites, especially sites of retailers, offer automatic recommendation services using Web usage mining, evaluation of recommender algorithms has bec...
149
click to vote
RECOMB
2005
Springer
16 years 4 months ago
2005
Springer
Abstract. With ever increasing amount of available data on protein-protein interaction (PPI) networks and research revealing that these networks evolve at a modular level, discover...
194
click to vote
WEA
2010
Springer
15 years 11 months ago
2010
Springer
Abstract We report on experiments with turning the branch-price-andcut framework SCIP into a generic branch-price-and-cut solver. That is, given a mixed integer program (MIP), our ...