Sciweavers

7430 search results - page 1378 / 1486
» Programming Applications in CIFF
Sort
View
131
Voted
CORR
2007
Springer
128views Education» more  CORR 2007»
15 years 2 months ago
Equivalence of LP Relaxation and Max-Product for Weighted Matching in General Graphs
— Max-product belief propagation is a local, iterative algorithm to find the mode/MAP estimate of a probability distribution. While it has been successfully employed in a wide v...
Sujay Sanghavi
127
Voted
CORR
2007
Springer
172views Education» more  CORR 2007»
15 years 2 months ago
A Data-Parallel Version of Aleph
This is to present work on modifying the Aleph ILP system so that it evaluates the hypothesised clauses in parallel by distributing the data-set among the nodes of a parallel or di...
Stasinos Konstantopoulos
117
Voted
JIIS
2008
89views more  JIIS 2008»
15 years 2 months ago
A note on phase transitions and computational pitfalls of learning from sequences
An ever greater range of applications call for learning from sequences. Grammar induction is one prominent tool for sequence learning, it is therefore important to know its proper...
Antoine Cornuéjols, Michèle Sebag
125
Voted
JAPLL
2006
112views more  JAPLL 2006»
15 years 2 months ago
Intuitionistic hybrid logic
Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first const...
Torben Braüner, Valeria de Paiva
JCC
2006
103views more  JCC 2006»
15 years 2 months ago
Flooding in GROMACS: Accelerated barrier crossings in molecular dynamics
: The major bottleneck of today's atomistic molecular dynamics (MD) simulations is that because of the enormous computational effort involved, only processes at nanoseconds to...
Oliver F. Lange, Lars V. Schäfer, Helmut Grub...
« Prev « First page 1378 / 1486 Last » Next »