Sciweavers

Share
SYNASC
2006
IEEE
103views Algorithms» more  SYNASC 2006»
10 years 5 months ago
Incremental Deterministic Planning
We present a new planning algorithm that formulates the planning problem as a counting satisfiability problem in which the number of available solutions guides the planner determ...
Stefan Andrei, Wei-Ngan Chin, Martin C. Rinard
SYNASC
2006
IEEE
86views Algorithms» more  SYNASC 2006»
10 years 5 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
121views Algorithms» more  SYNASC 2006»
10 years 5 months ago
Color Texture Modeling and Color Image Decomposition in a Variational-PDE Approach
This paper is devoted to a new variational model for color texture modeling and color image decomposition into cartoon and texture. A given image f in the RGB space is decomposed ...
Luminita A. Vese, Stanley Osher
SYNASC
2006
IEEE
105views Algorithms» more  SYNASC 2006»
10 years 5 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
95views Algorithms» more  SYNASC 2006»
10 years 5 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, ...
SYNASC
2006
IEEE
129views Algorithms» more  SYNASC 2006»
10 years 5 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
211views Algorithms» more  SYNASC 2006»
10 years 5 months ago
HTML Pattern Generator--Automatic Data Extraction from Web Pages
Existing methods of information extraction from HTML documents include manual approach, supervised learning and automatic techniques. The manual method has high precision and reca...
Mirel Cosulschi, Adrian Giurca, Bogdan Udrescu, Ni...
SYNASC
2006
IEEE
91views Algorithms» more  SYNASC 2006»
10 years 5 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
64views Algorithms» more  SYNASC 2006»
10 years 5 months ago
Scheme-Based Systematic Exploration of Natural Numbers
In this paper, we report a case study of computer supported exploration of the theory of natural numbers, using a theory exploration model based on knowledge schemes, proposed by ...
Madalina Hodorog, Adrian Craciun
SYNASC
2006
IEEE
67views Algorithms» more  SYNASC 2006»
10 years 5 months ago
Mathematical Theory Exploration
Bruno Buchberger
books