Sciweavers

2326 search results - page 411 / 466
» Optimization on Support Vector Machines
Sort
View
CC
2003
Springer
102views System Software» more  CC 2003»
15 years 3 months ago
Precision in Practice: A Type-Preserving Java Compiler
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...
Christopher League, Zhong Shao, Valery Trifonov
EUROPAR
2006
Springer
15 years 1 months ago
Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions
Computations on two-dimensional arrays such as matrices and images are one of the most fundamental and ubiquitous things in computational science and its vast application areas, bu...
Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Mas...
UML
2005
Springer
15 years 3 months ago
Transforming Models with ATL
This paper presents ATL (ATLAS Transformation Language): a hybrid model transformation language that allows both declarative and imperative constructs to be used in transformation ...
Frédéric Jouault, Ivan Kurtev
ICIP
2007
IEEE
15 years 11 months ago
Color Image Superresolution Based on a Stochastic Combinational Classification-Regression Algorithm
Abstract - The proposed algorithm in this work provides superresolution for color images by using a learning based technique that utilizes both generative and discriminant approach...
Karl S. Ni, Truong Q. Nguyen
CPHYSICS
2006
127views more  CPHYSICS 2006»
14 years 10 months ago
GenAnneal: Genetically modified Simulated Annealing
A modification of the standard Simulated Annealing (SA) algorithm is presented for finding the global minimum of a continuous multidimensional, multimodal function. We report resu...
Ioannis G. Tsoulos, Isaac E. Lagaris