SYNASC
2006
IEEE
14 years 6 months ago
2006
IEEE
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...
SYNASC
2006
IEEE
14 years 6 months ago
2006
IEEE
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...
SYNASC
2006
IEEE
14 years 6 months ago
2006
IEEE
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 ...
SYNASC
2006
IEEE
14 years 6 months ago
2006
IEEE
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...
SYNASC
2006
IEEE
14 years 6 months ago
2006
IEEE
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...
SYNASC
2006
IEEE
14 years 6 months ago
2006
IEEE
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...
SYNASC
2006
IEEE
14 years 6 months ago
2006
IEEE
Existing methods of information extraction from HTML documents include manual approach, supervised learning and automatic techniques. The manual method has high precision and reca...
SYNASC
2006
IEEE
14 years 6 months ago
2006
IEEE
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...
SYNASC
2006
IEEE
14 years 6 months ago
2006
IEEE
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 ...
SYNASC
2006
IEEE
14 years 6 months ago
2006
IEEE
