Sciweavers

7576 search results - page 1378 / 1516
» UNIX as an Application Program
Sort
View
139
Voted
JIIS
2008
89views more  JIIS 2008»
15 years 5 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
145
Voted
JAPLL
2006
112views more  JAPLL 2006»
15 years 5 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 5 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...
JFR
2006
141views more  JFR 2006»
15 years 5 months ago
A method for protocol-based collision avoidance between autonomous marine surface craft
This paper is concerned with the in-field autonomous operation of unmanned marine vehicles in accordance with convention for safe and proper collision avoidance as prescribed by t...
Michael R. Benjamin, John J. Leonard, Joseph A. Cu...
118
Voted
JMLR
2006
93views more  JMLR 2006»
15 years 5 months ago
An Efficient Implementation of an Active Set Method for SVMs
We propose an active set algorithm to solve the convex quadratic programming (QP) problem which is the core of the support vector machine (SVM) training. The underlying method is ...
Katya Scheinberg
« Prev « First page 1378 / 1516 Last » Next »