Sciweavers

988 search results - page 168 / 198
» Pseudo-Genetic Algorithmic Composition
Sort
View
CONCUR
1998
Springer
15 years 5 months ago
The Regular Viewpoint on PA-Processes
PA is the process algebra allowing non-determinism, sequential and parallel compositions, and recursion. We suggest viewing PA-processes as trees, and using treeautomata technique...
Denis Lugiez, Ph. Schnoebelen
99
Voted
ICALP
1990
Springer
15 years 4 months ago
Determining the Separation of Preprocessed Polyhedra - A Unified Approach
We show how (now familiar) hierarchical representations of (convex) polyhedra can be used to answer various separation queries efficiently (in a number of cases, optimally). Our e...
David P. Dobkin, David G. Kirkpatrick
HPCS
2009
IEEE
15 years 4 months ago
FFT-Based Dense Polynomial Arithmetic on Multi-cores
We report efficient implementation techniques for FFT-based dense multivariate polynomial arithmetic over finite fields, targeting multi-cores. We have extended a preliminary study...
Marc Moreno Maza, Yuzhen Xie
98
Voted
AINA
2006
IEEE
15 years 4 months ago
Distributed Model-Based Diagnosis using Object-Relational Constraint Databases
This work presents a proposal to diagnose distributed systems utilizing model-based diagnosis using distributed databases. In order to improve aspects as versatility, persistence,...
María Teresa Gómez López, Raf...
92
Voted
AUSDM
2006
Springer
93views Data Mining» more  AUSDM 2006»
15 years 4 months ago
Visualisation and Exploration of Scientific Data Using Graphs
Abstract. We present a prototype application for graph-based data exploration and mining, with particular emphasis on scientific data. The application has a Flash-based graphical i...
Ben Raymond, Lee Belbin