Sciweavers

3818 search results - page 267 / 764
» Word Problems on Compressed Words
Sort
View
CONCUR
1998
Springer
15 years 10 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
SSPR
1998
Springer
15 years 10 months ago
A Statistical Clustering Model and Algorithm
In this paper, a statistical clustering model and algorithm have been discussed. Finding the optimal solution to clustering problem is transformed into simulating the equilibrium ...
Guangwen Yang, Weimin Zheng, Dingxing Wang
EKAW
1997
Springer
15 years 10 months ago
The Notion of Role in Conceptual Modeling
: In this article we analyse the notion of knowledge role. First of all, we present how the relationship between problem solving methods and domain models is tackled in different a...
Chantal Reynaud, Nathalie Aussenac-Gilles, Pierre ...
SAT
2010
Springer
141views Hardware» more  SAT 2010»
15 years 10 months ago
Synthesizing Shortest Linear Straight-Line Programs over GF(2) Using SAT
Non-trivial linear straight-line programs over the Galois field of two elements occur frequently in applications such as encryption or high-performance computing. Finding the shor...
Carsten Fuhs, Peter Schneider-Kamp
EMO
2006
Springer
182views Optimization» more  EMO 2006»
15 years 10 months ago
Multi-objective Pole Placement with Evolutionary Algorithms
Multi-Objective Evolutionary Algorithms (MOEA) have been succesfully applied to solve control problems. However, many improvements are still to be accomplished. In this paper a new...
Gustavo Sánchez, Minaya Villasana, Miguel S...