Search results for "symbolic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
97	E. M. Boehm, Thomas B. Steel Jr.	The Share 709 System: Machine Implementation of Symbolic Programming.	J. ACM	1959	DBLP DOI BibTeX RDF
80	P. S. Hiremath, C. J. Prabhakar	Face Recognition Using Symbolic KPCA Plus Symbolic LDA in the Framework of Symbolic Data Analysis: Symbolic Kernel Fisher Discriminant Method.	ACIVS	2008	DBLP DOI BibTeX RDF
80	M. S. Dinesh, K. Chidananda Gowda, P. Nagabhushan	Fuzzy-Symbolic Analysis for Classification of Symbolic Data.	PReMI	2005	DBLP DOI BibTeX RDF	Fuzzy-Symbolic data analysis, Fuzzy hierarchical analysis, Symbolic distance measures
70	T. V. Ravi, K. Chidananda Gowda	A New Nonhierarchical Clustering Procedure for Symbolic Objects.	IDEAL	2000	DBLP DOI BibTeX RDF	Symbolic objects, Symbolic similarity, Symbolic dissimilarity, Symbolic Mean, Clustering
70	Thomas Fahringer	Efficient Symbolic Analysis for Parallelizing Compilers and Performance Estimators.	J. Supercomput.	1998	DBLP DOI BibTeX RDF	symbolic expressions, comparing symbolic expressions, symbolic expression bounds, simplifying constraints, symbolic dependence testing, program analysis
69	Thomas Fahringer, Bernhard Scholz	A Unified Symbolic Evaluation Framework for Parallelizing Compilers.	IEEE Trans. Parallel Distributed Syst.	2000	DBLP DOI BibTeX RDF	program context, data-flow and control-flow analysis, symbolic dependence testing, compiler optimizations, parallelizing compilers, parallel systems, Symbolic analysis, symbolic evaluation
67	Rupak Majumdar, Ru-Gang Xu	Directed test generation using symbolic grammars.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	concolic execution, grammar based testing, symbolic grammars, random testing, testing C programs
62	Alfred Kölbl, James H. Kukula, Kurt Antreich, Robert F. Damiano	Handling special constructs in symbolic simulation.	DAC	2002	DBLP DOI BibTeX RDF	formal verification, symbolic simulation
60	Ritochit Chakraborty, Mukesh Ranjan, Ranga Vemuri	Symbolic Time-Domain Behavioral and Performance Modeling of Linear Analog Circuits Using an Efficient Symbolic Newton-Iteration Algorithm for Pole Extraction.	VLSI Design	2006	DBLP DOI BibTeX RDF
59	Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil	Symbolic Execution Techniques for Test Purpose Definition.	TestCom	2006	DBLP DOI BibTeX RDF	Input/Output Symbolic Transition Systems, Conformance testing, Symbolic Execution, Coverage Criteria, Test Purposes
58	Matt Staats, Corina S. Pasareanu	Parallel symbolic execution for structural test generation.	ISSTA	2010	DBLP DOI BibTeX RDF	parallel, symbolic execution, java pathfinder
58	Rupak Majumdar, Ru-Gang Xu	Directed test generation using symbolic grammars.	ASE	2007	DBLP DOI BibTeX RDF	concolic execution, grammar based testing, symbolic grammars, random testing, testing C programs
58	Marco Bernardo 0001	Symbolic semantic rules for producing compact STGLAs from value passing process descriptions.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	symbolic semantics, value passing, Process algebras
58	Tuba Yavuz-Kahveci, Tevfik Bultan	A symbolic manipulator for automated verification of reactive systems with heterogeneous data types.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Composite representation, BDD, Symbolic model checking, Presburger arithmetic
58	Jessica Lin 0001, Eamonn J. Keogh, Stefano Lonardi, Bill Yuan-chi Chiu	A symbolic representation of time series, with implications for streaming algorithms.	DMKD	2003	DBLP DOI BibTeX RDF	data mining, data streams, time series, discretize, symbolic
57	Ran Canetti, Jonathan Herzog	Universally Composable Symbolic Analysis of Mutual Authentication and Key-Exchange Protocols.	TCC	2006	DBLP DOI BibTeX RDF
57	Erich L. Kaltofen, Lihong Zhi	Hybrid symbolic-numeric computation.	ISSAC	2006	DBLP DOI BibTeX RDF	symbolic/numeric hybrid methods
55	Brett Daniel, Tihomir Gvero, Darko Marinov	On test repair using symbolic execution.	ISSTA	2010	DBLP DOI BibTeX RDF	pex, reassert, symbolic test repair, test repair, symbolic execution
54	Setsuo Ohsuga	Knowledge Discovery as Translation.	Foundations of Data Mining and knowledge Discovery	2005	DBLP DOI BibTeX RDF
54	Yamini Kannan, Koushik Sen	Universal symbolic execution and its application to likely data structure invariant generation.	ISSTA	2008	DBLP DOI BibTeX RDF	dynamic analysis, symbolic execution, execution traces, logical inference, program invariants
54	Sarfraz Khurshid, Yuk Lai Suen	Generalizing symbolic execution to library classes.	PASTE	2005	DBLP DOI BibTeX RDF	korat, model checking, symbolic execution, test input generation
54	Vijay Menon 0002, Keshav Pingali, Nikolay Mateev	Fractal symbolic analysis.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	Compilers, program transformation, program optimization, symbolic analysis
53	Andrew Hunter	Expression Inference - Genetic Symbolic Classification Integrated with Non-linear Coefficient Optimisation.	AISC	2002	DBLP DOI BibTeX RDF	Topic. Symbolic Computations for Expert Systems and Machine Learning, Classification, Genetic Programming, Symbolic Regression, ROC Curves, Multiobjective Optimisation
51	Paolo Terenziani	Symbolic User-Defined Periodicity in Temporal Relational Databases.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	Temporal relational model and algebra, user-defined symbolic periodicity in the validity time, high-level “symbolic” language, symbolic (intensional) evaluation method, semisymbolic evaluation method, user-friendly treatment of periodicity, integration and extension of artificial intelligence and temporal databases techniques
50	P. Punitha 0001, D. S. Guru	An Effective and Efficient Exact Match Retrieval Scheme for Symbolic Image Database Systems Based on Spatial Reasoning: A Logarithmic Search Time Approach.	IEEE Trans. Knowl. Data Eng.	2006	DBLP DOI BibTeX RDF	Exact match retrieval, direction of reference, modified binary search, symbolic image, symbolic image database, spatial relationship
49	Donald L. Shell	The Share 709 System: A Cooperative Effort.	J. ACM	1959	DBLP DOI BibTeX RDF
49	Jessica Lin 0001, Eamonn J. Keogh, Li Wei 0001, Stefano Lonardi	Experiencing SAX: a novel symbolic representation of time series.	Data Min. Knowl. Discov.	2007	DBLP DOI BibTeX RDF	Data mining, Time series, Discretize, Symbolic representation
49	Guoqiang Pan, Moshe Y. Vardi	Symbolic Techniques in Satisfiability Solving.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	symbolic decision procedure, satisfiability, binary decision diagram
49	Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer	From Pre-Historic to Post-Modern Symbolic Model Checking.	Formal Methods Syst. Des.	2003	DBLP DOI BibTeX RDF	forward traversal, regular specifications, symbolic model checking, calculus
49	Pasquale Foggia, Roberto Genna, Mario Vento	Symbolic vs. Connectionist Learning: An Experimental Comparison in a Structured Domain.	IEEE Trans. Knowl. Data Eng.	2001	DBLP DOI BibTeX RDF	Symbolic learning, connectionist systems, prototype learning, machine learning, attributed relational graph, structural description
49	Yann Thierry-Mieg, Jean-Michel Ilié, Denis Poitrenaud	A Symbolic Symbolic State Space Representation.	FORTE	2004	DBLP DOI BibTeX RDF	Well-Formed Petri Nets, Symbolic Model-checking, Decision Diagrams, Symmetry Detection, Symbolic Reachability Graph
48	P. Nagabhushan, Shanmukhappa A. Angadi, Basavaraj S. Anami	Symbolic Data Structure for Postal Address Representation and Address Validation Through Symbolic Knowledge Base.	PReMI	2005	DBLP DOI BibTeX RDF	Postal Address validation, Symbolic object, knowledge base, Frames
47	Artur S. d'Avila Garcez	Advances in Neural-Symbolic Learning Systems: Modal and Temporal Reasoning.	Perspectives of Neural-Symbolic Integration	2007	DBLP DOI BibTeX RDF
46	Hyeong-Ju Kang, In-Cheol Park	SAT-based unbounded symbolic model checking.	DAC	2003	DBLP DOI BibTeX RDF	boolean satisfiability checking, unbounded symbolic model checking, formal verification, symbolic model checking
46	William Blume, Rudolf Eigenmann	Symbolic range propagation.	IPPS	1995	DBLP DOI BibTeX RDF	symbolic range propagation, arbitrary symbolic expressions, Polaris, zero-trip loops, array sections, loop iteration-count estimation, lower bound, transformations, program test, program compilers, upper bound, parallelizing compiler, symbol manipulation, parallelising compilers
46	Peter D. Holmes, Erland Jungert	Symbolic and Geometric Connectivity Graph Methods for Route Planning in Digitized Maps.	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	symbolic connectivity, geometric connectivity graph methods, 2D route planning, heuristic symbolic processing, computational geometry, graph theory, planning (artificial intelligence), search problems, spatial reasoning, spatial reasoning, obstacle avoidance, heuristic programming, inference rules, symbol manipulation, digitized maps, hierarchical data structure, knowledge structure, A* search, route planning
45	Maarten Keijzer	Scaled Symbolic Regression.	Genet. Program. Evolvable Mach.	2004	DBLP DOI BibTeX RDF	genetic programming, linear regression, symbolic regression
44	Prateek Saxena, Pongsin Poosankam, Stephen McCamant, Dawn Song	Loop-extended symbolic execution on binary programs.	ISSTA	2009	DBLP DOI BibTeX RDF	loop summaries, vulnerability discovery and diagnosis
44	P. S. Hiremath, C. J. Prabhakar	Face Recognition Technique Using Symbolic PCA Method.	PReMI	2005	DBLP DOI BibTeX RDF
44	Sheldon X.-D. Tan, C.-J. Richard Shi	Hierarchical symbolic analysis of analog integrated circuits viadeterminant decision diagrams.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2000	DBLP DOI BibTeX RDF
44	C.-J. Richard Shi, Sheldon X.-D. Tan	Canonical symbolic analysis of large analog circuits withdeterminant decision diagrams.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2000	DBLP DOI BibTeX RDF
44	Chris Wilson, David L. Dill, Randal E. Bryant	Symbolic Simulation with Approximate Values.	FMCAD	2000	DBLP DOI BibTeX RDF
44	Miroslav N. Velev, Randal E. Bryant	Efficient Modeling of Memory Arrays in Symbolic Ternary Simulation.	TACAS	1998	DBLP DOI BibTeX RDF
44	Tiziano Villa, Alexander Saldanha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli	Symbolic two-level minimization.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1997	DBLP DOI BibTeX RDF
43	Saoussen Bel Hadj Kacem, Amel Borgi, Moncef Tagina	On Some Properties of Generalized Symbolic Modifiers and Their Role in Symbolic Approximate Reasoning.	ICIC (2)	2009	DBLP DOI BibTeX RDF	Linguistic modifiers, symbolic multi-valued logic, multi-sets, composition, order relation
43	Weibo Mao, Jinzhao Wu	Application of Wu's method to symbolic model checking.	ISSAC	2005	DBLP DOI BibTeX RDF	Wu's method, symbolic model checking, characteristic set
42	Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi	Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking.	CAV	2005	DBLP DOI BibTeX RDF
42	Guy Edward Gallasch, Jonathan Billington	Using Parametric Automata for the Verification of the Stop-and-Wait Class of Protocols.	ATVA	2005	DBLP DOI BibTeX RDF	Stop and Wait Protocols, Symbolic Automata, Language Equivalence, Coloured Petri Nets, Parametric Verification, Symbolic Reachability Graphs
41	Pentti O. A. Haikonen	The Role of Associative Processing in Cognitive Computing.	Cogn. Comput.	2009	DBLP DOI BibTeX RDF	Associative processing, Machine cognition, Symbolic neural networks, Ontology, Meaning
41	Nicolas Rapin	Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables.	TAP@TOOLS	2009	DBLP DOI BibTeX RDF	Input Output Symbolic Transition Systems, Verification, Symbolic Execution, Linear Temporal Logic
41	Alain Faivre, Christophe Gaston, Pascale Le Gall	Symbolic Model Based Testing for Component Oriented Systems.	TestCom/FATES	2007	DBLP DOI BibTeX RDF	ioco-based conformance testing, input/output symbolic transition system, symbolic execution, component based system
41	Y. Morihiro, T. Toneda	Formal verification of data-path circuits based on symbolic simulation.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	data-path circuits, symbolic values, transition relation extraction, state graph, input vector sequences, FIFO circuits, LIFO circuits, formal verification, formal verification, graph theory, specification, logic simulation, logic simulation, symbol manipulation, symbolic simulation, Unix workstation
41	Manish Pandey, Alok Jain, Randal E. Bryant, Derek L. Beatty, Gary York, Samir Jain	Extraction of finite state machines from transistor netlists by symbolic simulation.	ICCD	1995	DBLP DOI BibTeX RDF	finite state machine extraction, transistor netlists, clock level finite state machines, gate level representation, circuit clocking, output timing, simulation patterns, next state, output function, equivalent FSM, static storage structures, time multiplexed inputs, time multiplexed outputs, finite state machines, logic design, logic CAD, circuit analysis computing, FSMs, symbolic simulation, symbolic simulator, Ordered Binary Decision Diagrams
40	Raúl A. Santelices, Mary Jean Harrold	Exploiting program dependencies for scalable multiple-path symbolic execution.	ISSTA	2010	DBLP DOI BibTeX RDF	invariant detection, modular analysis, path family, test suite augmentation, verification, program analysis, test generation, data dependence, symbolic execution, control dependence, change analysis, path sensitive analysis, path condition
40	Wanwei Liu, Ji Wang 0001, Huowang Chen, Xiaodong Ma, Zhaofei Wang	Symbolic model checking APSL.	Frontiers Comput. Sci. China	2009	DBLP DOI BibTeX RDF	tableau approach, extended NuSMV, symbolic model checking, property specification language
40	Christoph Csallner, Nikolai Tillmann, Yannis Smaragdakis	DySy: dynamic symbolic execution for invariant inference.	ICSE	2008	DBLP DOI BibTeX RDF	daikon, dynamic invariant inference, dysy, pex, symbolic reasoning
40	Brian K. Guenter	Efficient symbolic differentiation for graphics applications.	ACM Trans. Graph.	2007	DBLP DOI BibTeX RDF	symbolic differentiation
40	Fernando Alonso, Loïc Martínez, Aurora Pérez-Pérez, Agustín Santamaría, Juan Pedro Valente	Symbol Extraction Method and Symbolic Distance for Analysing Medical Time Series.	ISBMDA	2006	DBLP DOI BibTeX RDF	Time series characterization, isokinetics, symbolic distance, information extraction and text mining
40	P. Nagabhushan, Shanmukhappa A. Angadi, Basavaraj S. Anami	A Fuzzy Symbolic Inference System for Postal Address Component Extraction and Labelling.	FSKD	2006	DBLP DOI BibTeX RDF	Postal address component labelling, Fuzzy methodology, Symbolic similarity measure, alpha cut based de-fuzzification, Inference System
40	Sheldon X.-D. Tan, Weikun Guo, Zhenyu Qi	Hierarchical approach to exact symbolic analysis of large analog circuits.	DAC	2004	DBLP DOI BibTeX RDF	MEMS and/or RF design tools, behavioral modeling, analog, circuit simulation, symbolic analysis, mixed-signal
40	Minyi Guo, Yi Pan 0001, Zhen Liu	Symbolic Communication Set Generation for Irregular Parallel Applications.	J. Supercomput.	2003	DBLP DOI BibTeX RDF	irregular array references, distributed memory multicomputers compile-time optimization, parallelizing compilers, communication optimization, symbolic analysis
40	Kalyani Mali, Sushmita Mitra	Clustering of Symbolic Data and Its Validation.	AFSS	2002	DBLP DOI BibTeX RDF	Categorical clustering, symbolic processing, data mining, validation
40	Dominique Eyheramendy, Thomas Zimmermann	Object-Oriented Symbolic Derivation and Automatic Programming of Finite Elements in Mechanics.	Eng. Comput.	1999	DBLP DOI BibTeX RDF	Object-oriented pro-gramming, Symbolic approaches, Finite elements
39	Guoqiang Pan, Moshe Y. Vardi	Search vs. Symbolic Techniques in Satisfiability Solving.	SAT (Selected Papers	2004	DBLP DOI BibTeX RDF
39	Hansang Bae, Rudolf Eigenmann	Performance Analysis of Symbolic Analysis Techniques for Parallelizing Compilers.	LCPC	2002	DBLP DOI BibTeX RDF
39	Nikolay Mateev, Vijay Menon 0002, Keshav Pingali	Fractal symbolic analysis.	ICS	2001	DBLP DOI BibTeX RDF
39	Tuba Yavuz-Kahveci, Murat Tuncer, Tevfik Bultan	A Library for Composite Symbolic Representations.	TACAS	2001	DBLP DOI BibTeX RDF
39	Fabrice Rossi, Frédérick Vautrain	Expert Constrained Clustering: A Symbolic Approach.	PKDD	2000	DBLP DOI BibTeX RDF
39	Stephen P. Linder, Zbigniew Korona, Mieczyslaw M. Kokar	Q2 Symbolic Reasoning about Noisy Dynamic Systems.	J. Intell. Robotic Syst.	1999	DBLP DOI BibTeX RDF	qualitative abstraction, maneuver detection, consistency, hybrid system
39	Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer	From Pre-historic to Post-modern Symbolic Model Checking.	CAV	1998	DBLP DOI BibTeX RDF
39	Bill Lin 0001, A. Richard Newton	A circuit disassembly technique for synthesizing symbolic layouts from mask descriptions.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1990	DBLP DOI BibTeX RDF
39	Hongbo Li 0012	A recipe for symbolic geometric computing: long geometric product, BREEFS and Clifford factorization.	ISSAC	2007	DBLP DOI BibTeX RDF	null bracket algebra, symbolic geometric computing, geometric invariance, geometric theorem proving, conformal geometric algebra
39	Laurent Granvilliers, Éric Monfroy, Frédéric Benhamou	Symbolic-interval cooperation in constraint programming.	ISSAC	2001	DBLP DOI BibTeX RDF	interval arithmetic, constraint solving, symbolic computation
38	Masataro Asai, Hiroshi Kajino, Alex Fukunaga, Christian Muise	Symbolic Reasoning in Latent Space: Classical Planning as an Example.	Neuro-Symbolic Artificial Intelligence	2021	DBLP DOI BibTeX RDF
38	Alessandro Oltramari, Jonathan Francis, Filip Ilievski, Kaixin Ma, Roshanak Mirzaee	Generalizable Neuro-Symbolic Systems for Commonsense Question Answering.	Neuro-Symbolic Artificial Intelligence	2021	DBLP DOI BibTeX RDF
38	Tarek R. Besold, Artur S. d'Avila Garcez, Sebastian Bader 0001, Howard Bowman, Pedro M. Domingos, Pascal Hitzler, Kai-Uwe Kühnberger, Luís C. Lamb, Priscila Machado Vieira Lima, Leo de Penning, Gadi Pinkas, Hoifung Poon, Gerson Zaverucha	Neural-Symbolic Learning and Reasoning: A Survey and Interpretation.	Neuro-Symbolic Artificial Intelligence	2021	DBLP DOI BibTeX RDF
38	Haitian Sun, Pat Verga, William W. Cohen	Answering Natural-Language Questions with Neuro-Symbolic Knowledge Bases.	Neuro-Symbolic Artificial Intelligence	2021	DBLP DOI BibTeX RDF
38	Daoming Lyu, Fangkai Yang, Hugh Kwon, Bo Liu, Wen Dong 0001, Levent Yilmaz	Explainable Neuro-Symbolic Hierarchical Reinforcement Learning.	Neuro-Symbolic Artificial Intelligence	2021	DBLP DOI BibTeX RDF
38	Ceca Kraisnikovic, Wolfgang Maass 0001, Robert Legenstein	Spike-Based Symbolic Computations on Bit Strings and Numbers.	Neuro-Symbolic Artificial Intelligence	2021	DBLP DOI BibTeX RDF
38	Robin Manhaeve, Giuseppe Marra, Thomas Demeester, Sebastijan Dumancic, Angelika Kimmig, Luc De Raedt	Neuro-Symbolic AI = Neural + Logical + Probabilistic AI.	Neuro-Symbolic Artificial Intelligence	2021	DBLP DOI BibTeX RDF
38	Bassem Makni, Monireh Ebrahimi, Dagmar Gromann, Aaron Eberhart	Neuro-Symbolic Semantic Reasoning.	Neuro-Symbolic Artificial Intelligence	2021	DBLP DOI BibTeX RDF
38	Filipe Afonso, Seppo Laaksonen	Analyzing European Social Survey data using symbolic data methods and Syrokko software.	Symbolic Data Analysis and Visualization	2015	DBLP BibTeX RDF
38	Carmen Bravo, José M. García-Santesmases	Hierarchical clustering of modal ordinal symbolic data objects.	Symbolic Data Analysis and Visualization	2015	DBLP BibTeX RDF
38	Haralambos Papageorgiou, Maria Vardaki	Classical and Symbolic metadata setting for biological datasets.	Symbolic Data Analysis and Visualization	2015	DBLP BibTeX RDF
38	Wolfram Decker, Mike Dewar, Erich L. Kaltofen, Stephen M. Watt	06271 Abstracts Collection -- Challenges in Symbolic Computation Software.	Challenges in Symbolic Computation Software	2006	DBLP BibTeX RDF
38	Stephen M. Watt	Two Families of Algorithms for Symbolic Polynomials.	Challenges in Symbolic Computation Software	2006	DBLP BibTeX RDF
38	Wolfram Decker, Mike Dewar, Erich L. Kaltofen, Stephen M. Watt	06271 Executive Summary - Challenges in Symbolic Computation Software.	Challenges in Symbolic Computation Software	2006	DBLP BibTeX RDF
38	Götz Alefeld, Jiri Rohn, Siegfried M. Rump, Tetsuro Yamamoto	Introduction: Symbolic Algebraic Methods and Verification Methods.	Symbolic Algebraic Methods and Verification Methods	2001	DBLP DOI BibTeX RDF
38	Annie A. M. Cuyt	Symbolic-Numeric QD-Algorithms with Application in Function Theory and Linear Algebra.	Symbolic Algebraic Methods and Verification Methods	2001	DBLP DOI BibTeX RDF
38	David M. Gay	Symbolic-Algebraic Computations in Modeling Language for Mathematical Programming.	Symbolic Algebraic Methods and Verification Methods	2001	DBLP DOI BibTeX RDF
38	Robert M. Corless	Symbolic-Numeric Algorithms for Polynomials: Some recent Results.	Symbolic Algebraic Methods and Verification Methods	2001	DBLP DOI BibTeX RDF
38	Raymond Ravaglia, Theodore Alper, Marianna Rozenfeld, Patrick Suppes	Successful pedagogical applications of symbolic computation.	Computer-Human Interaction in Symbolic Computation	1998	DBLP DOI BibTeX RDF
38	Laxmikant V. Kalé, Balkrishna Ramkumar, Vikram A. Saletore, Amitabh Sinha	Prioritization in Parallel Symbolic Computing.	Parallel Symbolic Computing	1992	DBLP DOI BibTeX RDF
38	Takayasu Ito, Rishiyur S. Nikhil, Julian A. Padget, Norihisa Suzuki, Taiichi Yuasa	Massively Parallel Architectures and Symbolic Computation (panel).	Parallel Symbolic Computing	1992	DBLP DOI BibTeX RDF
38	Robert H. Halstead Jr., Takashi Chikayama, Richard P. Gabriel, David L. Waltz, Akinori Yonezawa	Applications for Parallel Symbolic Computation (panel).	Parallel Symbolic Computing	1992	DBLP DOI BibTeX RDF
38	Robert H. Halstead Jr., Takayasu Ito	Overview of Papers from U.S./Japan Workshop on Parallel Symbolic Computing.	Parallel Symbolic Computing	1992	DBLP DOI BibTeX RDF
38	David L. Waltz	Massively Parallel Symbolic Computing.	Parallel Symbolic Computing	1992	DBLP DOI BibTeX RDF
38	Bruno Buchberger	A view on the future of symbolic computation.	ISSAC	2005	DBLP DOI BibTeX RDF
38	Syed Sibte Raza Abidi, Kok Meng Hoe	Symbolic Exposition of Medical Data-Sets: A Data Mining Workbench to Inductively Derive Data-Defining Symbolic Rules.	CBMS	2002	DBLP DOI BibTeX RDF
38	Madhu Chetty	Towards a Hybrid Symbolic/Numeric Computational Approach in Controller Design.	AISC	2002	DBLP DOI BibTeX RDF