Sciweavers

32 search results - page 3 / 7
» fcs 2006
Sort
View
FCS
2006
13 years 8 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
13 years 8 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
13 years 8 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
13 years 8 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
13 years 8 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