Scientific Committee
暂无分享,去创建一个
[1] Marc Eisenstadt,et al. Retrospective Zooming: A Knowledge Based Tracking and Debugging Methodology for Logic Programming , 1985, IJCAI.
[2] Amotz Bar-Noy,et al. Square meshes are not always optimal , 1989, SPAA '89.
[3] C. Sutti. Local and global optimization by parallel algorithms for MIMD systems , 1984, Ann. Oper. Res..
[4] Margaret M. Burnett,et al. Operational versus definitional: a perspective on programming paradigms , 1992, Computer.
[5] Panos M. Pardalos,et al. New results in the packing of equal circles in a square , 1995, Discret. Math..
[6] Gabriella Kókai,et al. Algorithmic Debugging and Testing of Prolog Programs , 1997, LPE.
[7] Leon Sterling,et al. The Art of Prolog , 1987, IEEE Expert.
[8] W. Price. Global optimization algorithms for a CAD workstation , 1987 .
[9] Luís Moniz Pereira. Rational Debugging in Logic Programming , 1986, ICLP.
[10] Jean-Éric Pin,et al. Sur un Cas Particulier de la Conjecture de Cerny , 1978, ICALP.
[11] Simin Nadjm-Tehrani,et al. Algorithmic Debugging with Assertions , 1989, META.
[12] P. Ducksbury. Parallel array processing , 1986 .
[13] Wyn L. Price,et al. A Controlled Random Search Procedure for Global Optimisation , 1977, Comput. J..
[14] L. Bunimovich. Space-time chaos in spatially continuous systems , 1999 .
[15] Patric R. J. Östergård,et al. Packing up to 50 Equal Circles in a Square , 1997, Discret. Comput. Geom..
[16] W. L. Price,et al. Optimising accelerator for CAD workstation , 1988 .
[17] Claudio Moraga,et al. Efficient derivation of Reed-Muller expansions in multiple-valued logic systems , 1992, [1992] Proceedings The Twenty-Second International Symposium on Multiple-Valued Logic.
[18] Joost Engelfriet,et al. Pushdown Machines for the Macro Tree Transducer , 1986, Theor. Comput. Sci..
[19] Peter Fritzson,et al. Bug Localization by Algorithmic Debugging and Program Slicing , 1990, PLILP.
[20] Claudio Moraga,et al. Reed-Muller-Fourier versus Galois field representations of four-valued logic functions , 1998, Proceedings. 1998 28th IEEE International Symposium on Multiple- Valued Logic (Cat. No.98CB36138).
[21] Constructing trees with given eigenvalues and angles , 1988 .
[22] John K. Tomfohr,et al. Lecture Notes on Physics , 1879, Nature.
[23] R. Peikert,et al. Packing circles in a square: A review and new results , 1992 .
[24] J. Muzio,et al. Multiple-valued switching theory , 1985 .
[25] B. Chirikov,et al. Research concerning the theory of non-linear resonance and stochasticity , 1971 .
[26] Susanto Rahardja,et al. Efficient algorithm for the generation of fixed polarity quaternary Reed-Muller expansions , 1995, Proceedings 25th International Symposium on Multiple-Valued Logic.
[27] C C Lee,et al. FUZZY LOGIC IN CONTROL SYSTEM FUZZY LOGIC CONTROLLER-PART II , 1990 .
[28] Peter Sollich,et al. AIP CONF PROC , 2001 .
[29] Gérard Ferrand. Error Diagnosis in Logic Programming, an Adaption of E. Y. Shapiro's Method , 1987, J. Log. Program..
[30] Chaos and statistical mechanics in the Hamiltonian mean field model , 1998, chao-dyn/9803019.
[31] Chee-Kit Looi. Analysing Novices Programs in a Prolog Intelligent Teaching System , 1988, ECAI.
[32] Richard M. Adler,et al. Emerging Standards for Component Software , 1995, Computer.
[33] J. Forsström,et al. A PC program for automatic analysis of NMR spectrum series. , 1997, Computer methods and programs in biomedicine.
[34] Roger J.-B. Wets,et al. Minimization by Random Search Techniques , 1981, Math. Oper. Res..
[35] H. Poincaré,et al. Les méthodes nouvelles de la mécanique céleste , 1899 .
[36] D. Green. Reed-Muller expansions with fixed and mixed polarities over GF(4) , 1990 .
[37] S. Rahardja,et al. Efficient computation of quaternary fixed polarity Reed-Muller expansions , 1995 .
[38] A. Lichtenberg,et al. Regular and Chaotic Dynamics , 1992 .
[39] Francis C. M. Lau,et al. A Lower Bound for Permutation Routing on Two-Dimensional Bused Meshes , 1993, Inf. Process. Lett..
[40] Gabor T. Herman,et al. Global Optimization by Parallel Constrained Biased Random Search , 1996 .
[41] C. Caramanis. What is ergodic theory , 1963 .
[42] Maria L. Gini,et al. A case-based approach to planar linkage design , 1997, Artif. Intell. Eng..
[43] R. Stephenson. A and V , 1962, The British journal of ophthalmology.
[44] Gabor T. Herman,et al. Multidimensional Optimization in Image Reconstruction from Projections , 1997 .
[45] Joost Engelfriet,et al. Top-down tree transducers with regular look-ahead , 1975, Mathematical systems theory.
[46] R. S. Seymour,et al. An object-oriented approach to evaluating multiple spectral models , 1995 .
[47] J. Rogers. Chaos , 1876 .
[48] Maurice H. ter Beek,et al. Teams in Grammar Systems: Hybridity and Weak Rewriting , 1996, Acta Cybern..
[49] Ronald L. Graham,et al. Repeated Patterns of Dense Packings of Equal Disks in a Square , 1996, Electron. J. Comb..
[50] Louis B. Rall,et al. Automatic Differentiation: Techniques and Applications , 1981, Lecture Notes in Computer Science.
[51] Joseph Y.-T. Leung,et al. Packet routing on square meshes with row and column buses , 1991, Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing.
[52] Mireille Ducassé,et al. Logic Programming Environments: Dynamic Program Analysis and Debugging , 1994, J. Log. Program..
[53] Etsuya Shibayama,et al. PRESET - A Debugging Environment for Prolog , 1985, LP.