Sciweavers

12 search results - page 2 / 3
» synasc 2006
Sort
View
SYNASC
2006
IEEE
129views Algorithms» more  SYNASC 2006»
13 years 9 months ago
Pivot-Free Block Matrix Inversion
We present a pivot-free deterministic algorithm for the inversion of block matrices. The method is based on the Moore-Penrose inverse and is applicable over certain general classe...
Stephen M. Watt
SYNASC
2006
IEEE
105views Algorithms» more  SYNASC 2006»
13 years 9 months ago
A Meta-Model for Enterprise Applications
In the last years, as object-oriented software systems became more and more complex, the need of performing automatically reverse engineering upon these systems has increased sign...
Cristina Marinescu, Ioan Jurca
SYNASC
2006
IEEE
86views Algorithms» more  SYNASC 2006»
13 years 9 months ago
Implementing Parameterized Type Algorithm Definitions in Mathematica
The paper focuses on means of defining parameterized type categories and algorithms built on such types in Mathematica. Symbolic algorithms based on category theory have the advan...
Alina Andreica
SYNASC
2006
IEEE
91views Algorithms» more  SYNASC 2006»
13 years 9 months ago
MATHsAiD: A Mathematical Theorem Discovery Tool
In the eld of automated reasoning, one of the most challenging (even if, perhaps, somewhat overlooked) problems thus far has been to develop a means of discerning, from amongst al...
Roy L. McCasland, Alan Bundy
SYNASC
2006
IEEE
95views Algorithms» more  SYNASC 2006»
13 years 9 months ago
Evolutionary Support Vector Regression Machines
Evolutionary support vector machines (ESVMs) are a novel technique that assimilates the learning engine of the state-of-the-art support vector machines (SVMs) but evolves the coef...
Ruxandra Stoean, Dumitru Dumitrescu, Mike Preuss, ...