Search academic resources

The problem of speeding up ínference has proved to be important in argumentative systems. When computing dialectical structures, several paths are searched (called argumentation lines), many of which will eventually pro...

Despite the advances in wireless, energy-constrained ad hoc networks, there are still many challenges given the limited capabilities of the current hardware. Therefore, our aim is to develop a lightweight, yet powerful o...

From the many different patterns that can be extracted from data, so-called emerging patterns (EPs) are a particular useful kind. EPs are itemsets whose supports increase significantly from one dataset to another. Existi...

The N-body problem is often characterized by the necessity to interact each of the N bodies with every other one. Its principal problem is the time spent in force computation. Computing the force among a set of N bodies...

Este trabalho descreve o sistema de software Laboratório de Alta Exatidão e Alto Desempenho, desenvolvido para resolução de problemas da computação científica com verificação automática do resultado. O sistema ...

We present in this paper a clustering algorithm which is based on a cellular automaton and which aims at displaying a map of web pages. We describe the main principles of methods that build such maps, and the main princi...

In this paper, an improvement of deformable template matching algorithm for polygonal objects in grayscale images using two-dimensional deformable templates along orthogonal curves is presented. In the process of pre-com...

Parallel performance optimization is being applied and further improvements are studied for parallel linear algebra on clusters. Several parallelization guidelines have been defined and are being used on single clusters ...

We extend the regular model checking framework so that it can handle systems with arbitrary width tree-like structures. Con gurations of a system are represented by trees of arbitrary arities, sets of con gurations are r...

Meeting user requirements of a software system has been a major challenge to software developers. Experience in a number of large projects reveals that a very large percentage of errors were made at the earlier stages o...

In this work the pipeline theory applied to computing systems is reviewed. The effects of the stage delay, overhead stage delay, equalization factor and number of stages on the pipeline system performance are analyzed. A...

As a new promising crossover method, multiple crossovers per couple (MCPC) deserves special attention in evolutionary computing field. Allowing multiple crossovers per couple on a selected pair of parents provided an ext...

As a new promising crossover method, multiple crossovers per couple (MCPC) deserves special attention in evolutionary computing field. Allowing multiple crossovers per couple on a selected pair of parents provided an ext...

This paper describes activities developed in Argentina between 1956 and 1966 related to the computer and that were coincident with the arrival of the first machines in the country. It deals, particularly, with the work o...

1957 marked the beginning of modern education in computing in Argentina. I was lucky enough to live this part of the history. After issuing an international bid that year, all members of a special commission from the Uni...

Computer Program Abstracts The category Computer Program Abstracts provides a rapid means of communicating up-to-date information concerning both new programs or systems and significant updates to existing ones. Followin...

The category Computer Program Abstracts provides a rapid means of communicating up-to-date information concerning both new programs or systems and signi®cant updates to existing ones. Following normal submission, a Comp...

Previous article Next article An Algorithm for Least-Squares Estimation of Nonlinear ParametersDonald W. MarquardtDonald W. Marquardthttps://doi.org/10.1137/0111030PDFPDF PLUSBibTexSections ToolsAdd to favoritesExport Ci...

Abstract In a 1935 paper and in his book Theory of Probability, Jeffreys developed a methodology for quantifying the evidence in favor of a scientific theory. The centerpiece was a number, now called the Bayes factor, wh...

BACKGROUND: System-wide profiling of genes and proteins in mammalian cells produce lists of differentially expressed genes/proteins that need to be further analyzed for their collective functions in order to extract new ...

Previous article Next article Fractional Brownian Motions, Fractional Noises and ApplicationsBenoit B. Mandelbrot and John W. Van NessBenoit B. Mandelbrot and John W. Van Nesshttps://doi.org/10.1137/1010093PDFBibTexSecti...

Subjects / keywords: applied computing; Science: Mathematics: Instruments and machines: Electronic computers. Computer science

Subjects / keywords: computer science, technology, applied computing; Science: Mathematics: Instruments and machines: Electronic computers. Computer science

Subjects / keywords: artificial intelligence, data analysis, discrete mathematics, signal processing, applied computing, computer science; Science: Mathematics: Probabilities. Mathematical statistics