Sciweavers

405 search results - page 62 / 81
» A New Program to Compute the Surface Properties of Biomolecu...
Sort
View
JMLR
2006
93views more  JMLR 2006»
13 years 8 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
ICMT
2009
Springer
14 years 2 months ago
Supporting Parallel Updates with Bidirectional Model Transformations
Abstract. Model-driven software development often involves several related models. When models are updated, the updates need to be propagated across all models to make them consist...
Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Take...
ML
2000
ACM
244views Machine Learning» more  ML 2000»
13 years 7 months ago
Learnable Evolution Model: Evolutionary Processes Guided by Machine Learning
A new class of evolutionary computation processes is presented, called Learnable Evolution Model or LEM. In contrast to Darwinian-type evolution that relies on mutation, recombinat...
Ryszard S. Michalski
ICS
2010
Tsinghua U.
14 years 5 months ago
Proof-Carrying Data and Hearsay Arguments from Signature Cards
: Design of secure systems can often be expressed as ensuring that some property is maintained at every step of a distributed computation among mutually-untrusting parties. Special...
Alessandro Chiesa, Eran Tromer
SIGMOD
2003
ACM
147views Database» more  SIGMOD 2003»
14 years 8 months ago
Formal semantics and analysis of object queries
Modern database systems provide not only powerful data models but also complex query languages supporting powerful features such as the ability to create new database objects and ...
Gavin M. Bierman