The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Symbolic with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1936-1952 (16) 1953-1959 (22) 1960-1963 (20) 1964-1965 (15) 1966 (28) 1967-1969 (18) 1970-1971 (70) 1972-1973 (21) 1974-1975 (26) 1976 (65) 1977-1978 (30) 1979 (70) 1980 (18) 1981 (62) 1982 (26) 1983 (25) 1984 (61) 1985 (57) 1986 (95) 1987 (72) 1988 (135) 1989 (147) 1990 (219) 1991 (256) 1992 (245) 1993 (301) 1994 (276) 1995 (405) 1996 (270) 1997 (286) 1998 (322) 1999 (357) 2000 (342) 2001 (465) 2002 (407) 2003 (455) 2004 (548) 2005 (756) 2006 (731) 2007 (841) 2008 (702) 2009 (702) 2010 (504) 2011 (563) 2012 (485) 2013 (532) 2014 (547) 2015 (592) 2016 (539) 2017 (620) 2018 (594) 2019 (648) 2020 (672) 2021 (784) 2022 (800) 2023 (992) 2024 (185)
Publication types (Num. hits)
article(4937) book(38) data(4) incollection(179) inproceedings(13477) phdthesis(259) proceedings(148)
Venues (Conferences, Journals, ...)
ISSAC(1880) CoRR(1308) SYNASC(1226) ECSQARU(856) CAV(170) AISC(165) DAC(144) J. Symb. Comput.(135) NeSy(131) PASCO(130) DISCO(128) SYMSAC(127) IEEE Trans. Comput. Aided Des....(122) SNC(119) J. Symb. Log.(113) TACAS(97) More (+10 of total 2960)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6381 occurrences of 2932 keywords

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