
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
ChungWei Yeh, ChihPing Chu, "Molecular Verification of RuleBased Systems Based on DNA Computation," IEEE Transactions on Knowledge and Data Engineering, vol. 20, no. 7, pp. 965975, July, 2008.  
BibTex  x  
@article{ 10.1109/TKDE.2007.190743, author = {ChungWei Yeh and ChihPing Chu}, title = {Molecular Verification of RuleBased Systems Based on DNA Computation}, journal ={IEEE Transactions on Knowledge and Data Engineering}, volume = {20}, number = {7}, issn = {10414347}, year = {2008}, pages = {965975}, doi = {http://doi.ieeecomputersociety.org/10.1109/TKDE.2007.190743}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  JOUR JO  IEEE Transactions on Knowledge and Data Engineering TI  Molecular Verification of RuleBased Systems Based on DNA Computation IS  7 SN  10414347 SP965 EP975 EPD  965975 A1  ChungWei Yeh, A1  ChihPing Chu, PY  2008 KW  Rulebased processing KW  Knowledge base verification KW  Evolutionary computing and genetic algorithms VL  20 JA  IEEE Transactions on Knowledge and Data Engineering ER   
[1] D.L. Nazareth, “Investigating the Applicability of Petri Nets for RuleBased System Verification,” IEEE Trans. Knowledge and Data Eng., vol. 5, no. 3, pp. 402415, June 1993.
[2] D.L. Nazareth and M.H. Kennedy, “Verification of RuleBased Knowledge Using Directed Graphs,” Knowledge Acquisition, vol. 3, pp. 339360, 1991.
[3] G.S. Gursaran, S. Kanungo, and A.K. Sinha, “RuleBase Content Verification Using a DigraphBased Modeling Approach,” Artificial Intelligence Eng., vol. 13, pp. 321336, 1999.
[4] G. Valiente, “Verification of Knowledge Based Redundancy and Subsumption Using Graph Transformations,” Int'l J. Expert Systems, vol. 6, no. 3, pp. 341355, 1993.
[5] M. Ramaswamy, S. Sarkar, and Y.S. Chen, “Using Directed Hypergraphs to Verify RuleBased Expert Systems,” IEEE Trans. Knowledge and Data Eng., vol. 9, no. 2, pp. 221236, Mar.Apr. 1997.
[6] S.J.H. Yang, J.P. Tsai, and C.C. Chen, “Fuzzy Rule Base Systems Verification Using HighLevel Petri Nets,” IEEE Trans. Knowledge and Data Eng., vol. 15, no. 2, pp. 457473, Mar./Apr. 2003.
[7] X. He, W.C. Chu, and H. Yang, “A New Approach to Verify RuleBased Systems Using Petri Nets,” Information and Software Technology, vol. 45, pp. 663669, 2003.
[8] L.M. Adleman, “Molecular Computation of Solutions to Combinatorial Problems,” Science, vol. 266, pp. 10211024, 1994.
[9] W.L. Chang and M. Guo, “Molecular Solutions for the SubsetSum Problem on DNABased Supercomputing,” BioSystems, vol. 73, pp. 117130, 2004.
[10] M. Amos, Theoretical and Experimental DNA Computation. Springer, 2004.
[11] R.S. Braich, C. Johnson, P.W.K. Rothemund, D. Hwang, N. Chelyapov, and L.M. Adleman, “Solution of a Satisfiability Problem on a GelBased DNA Computer,” Proc. Sixth Int'l Workshop DNABased Computers: DNA Computing, 1999.
[12] G. Paun, G. Rozenberg, and A. Salomaa, DNA Computing: New Computing Paradigms. SpringerVerlag, 1998.
[13] R.P. Feynman and D. Gilbert, “There's Plenty of Room at the Bottom,” Eng. and Science Magazine, vol. 23, no. 5, 1960.
[14] Q. Liu, Z. Guo, A.E. Condon, R.M. Corn, M.G. Lagally, and L.M. Smith, “A SurfaceBased Approach to DNA Computation,” Proc. Second Ann. DIMACS Workshop DNABased Computers, 1996.
[15] B. Fu, R. Beigel, and F.X. Zhou, “An $\tilde{\rm O}(2^{\rm n})$ Volume Molecular Algorithm for Hamiltonian Path,” Biosystems, vol. 52, pp. 217226, 1999.
[16] S. Roweis, E. Winfree, R. Burgoyne, N.V. Chelyapov, M.F. Goodman, P.W.K. Rothemund, and L.M. Adleman, “A StickerBased Model for DNA Computing,” J. Computational Biology, vol. 5, no. 4, pp. 615629, 1998.
[17] R.J. Lipton, “DNA Solution of Hard Computational Problems,” Science, vol. 268, pp. 542545, 1995.
[18] T.A. Nguyen, W.A. Perkins, T.J. Laffey, and D. Pecora, “Knowledge Base Verification,” AI Magazine, vol. 8, no. 2, pp. 6975, 1987.