Sciweavers

32 search results - page 3 / 7
» fcs 2006
Sort
View
FCS
2006
14 years 10 months ago
A Procedure for Max-SAT with DNA Strands
Abstract: In recent works for high performance computing, computation with DNA molecules, that is, DNA computing, has had considerable attention as one of non-silicon based computi...
Yuichiro Tokumaru, Akihiro Fujiwara
FCS
2006
14 years 10 months ago
A Theoretical Study of Parallel Voronoi Diagram
In this paper, we concentrate on the problem of computing a Voronoi diagram using Hypercube model of computation. The main contribution of this work is the O(log3 n) parallel algor...
Rashid Muhammad
FCS
2006
14 years 10 months ago
Matrix L-System and Paper Folding with Scissors
Abstract A valiant of L-system called `matrix L-system' is introduced to model the folding process of a square paper into small polygons (rectangles or triangles). Using this ...
Katsushi Inoue, Akira Ito, Yue Wang
FCS
2006
14 years 10 months ago
Discovering the Impact of Group Structure on 3-SAT
-- Boolean SAT problems are widespread in current demanding applications, most notably model checking for both hardware and software. It has long been known that the clause-to-vari...
James McQuillan, Craig Damon
FCS
2006
14 years 10 months ago
The Church-Turing-Deutsch Principle in Quantum Computation
This paper is based on the idea that the Church-Turing-Deutsch (CTD) principle can play a very fundamental role in Physics similar to those of conservation laws in the constructio...
P. Prashant