Sciweavers

2880 search results - page 470 / 576
» Types are calling conventions
Sort
View
JMLR
2010
152views more  JMLR 2010»
15 years 1 months ago
The SHOGUN Machine Learning Toolbox
We have developed a machine learning toolbox, called SHOGUN, which is designed for unified large-scale learning for a broad range of feature types and learning settings. It offers...
Sören Sonnenburg, Gunnar Rätsch, Sebasti...
TAAS
2010
124views more  TAAS 2010»
15 years 1 months ago
The MACODO organization model for context-driven dynamic agent organizations
stractions that support application developers to describe dynamic organizations. The organization model is part of an integrated approach, called MACODO: Middleware Architecture f...
Danny Weyns, Robrecht Haesevoets, Alexander Helleb...
TCBB
2010
98views more  TCBB 2010»
15 years 1 months ago
VARUN: Discovering Extensible Motifs under Saturation Constraints
Abstract-The discovery of motifs in biosequences is frequently torn between the rigidity of the model on the one hand and the abundance of candidates on the other. In particular, m...
Alberto Apostolico, Matteo Comin, Laxmi Parida
TEC
2010
193views more  TEC 2010»
15 years 1 months ago
Chemical-Reaction-Inspired Metaheuristic for Optimization
-- We encounter optimization problems in our daily lives and in various research domains. Some of them are so hard that we can, at best, approximate the best solutions with (meta-)...
Albert Y. S. Lam, Victor O. K. Li
CORR
2011
Springer
115views Education» more  CORR 2011»
14 years 10 months ago
SAT-Based Termination Analysis Using Monotonicity Constraints over the Integers
ibe an algorithm for proving termination of programs abstracted to systems of monotonicity constraints in the integer domain. Monotonicity constraints are a non-trivial extension ...
Michael Codish, Igor Gonopolskiy, Amir M. Ben-Amra...