Search results for "symbol manipulation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Heikki Apiola, Pirkka Peltola	Integrating APL with Symbol Manipulation, Numerical Software and Graphics.	APL	1990	DBLP DOI BibTeX RDF	APL
2	Jainendra K. Navlakha	REC/SM: a semi structured programming language.	ACM Southeast Regional Conference	1980	DBLP DOI BibTeX RDF	Semi-structured programming language, Structured programming, Symbol manipulation
2	John J. Cannon	Computers in group theory: a survey.	Commun. ACM	1969	DBLP DOI BibTeX RDF	character tables, commutator calculus, coset enumeration, nonnumerical programming, subgroup lattices, topology, survey, symbol manipulation, group theory, discrete mathematics, permutation groups, Abelian groups, automorphism groups, crystallography
2	Edward F. Storm	CHAMP - character manipulation procedures.	Commun. ACM	1968	DBLP DOI BibTeX RDF	character manipulation, conditional expressions, string handling, symbol manipulation, procedures, quantifiers, recursive programming, structure matching
1	Ravi V. Gomatam	Quantum Theory, the Chinese Room Argument and the Symbol Grounding Problem.	QI	2009	DBLP DOI BibTeX RDF	Chinese Room Argument, Symbol Grounding Problem, Sanskrit Room Argument, Universal Turing Machine, Exotic manifolds, Artificial Intelligence, Topology, Quantum theory
1	Tetsunari Inamura, Tomohiro Shibata	Geometric proto-symbol manipulation towards language-based motion pattern synthesis and recognition.	IROS	2008	DBLP DOI BibTeX RDF
1	Hanna Risku	Interaction and cognition in the wild, wild web: like graved salmon on the cold buffet.	MoMM	2008	DBLP DOI BibTeX RDF
1	Richard Cox, Robert Dale, John Etchemendy, Dave Barker-Plummer	Graphical Revelations: Comparing Students' Translation Errors in Graphics and Logic.	Diagrams	2008	DBLP DOI BibTeX RDF	natural language, first-order logic, errors, graphical representations
1	John R. Anderson	Human Symbol Manipulation Within an Integrated Cognitive Architecture.	Cognitive Science	2005	DBLP DOI BibTeX RDF
1	Michel van Dartel, Eric O. Postma	Symbol manipulation by internal simulation of perception and behaviour.	BNAIC	2005	DBLP BibTeX RDF
1	José Negrete Martínez	Three Steps to Robo Sapiens.	RSFDGrC	2005	DBLP DOI BibTeX RDF
1	Yoshihiko Nakamura, Tetsunari Inamura, Hiroaki Tanie	A Statistic Model of Embodied Symbol Emergence.	ISRR	2003	DBLP DOI BibTeX RDF
1	Sean Zdenek	Artificial intelligence as a discursive practice: the case of embodied software agent systems.	AI Soc.	2003	DBLP DOI BibTeX RDF	Software agents, Metaphor, Embodiment, Discourse, Rhetoric
1	Tetsunari Inamura, Iwaki Toshima, Yoshihiko Nakamura	Acquiring Motion Elements for Bidirectional Computation of Motion Recognition and Generation.	ISER	2002	DBLP DOI BibTeX RDF
1	Hiromi Hiraishi	Verification of deadlock free property of high level robot control.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	deadlock free property, high level robot control, verification algorithm, task control architecture, concurrent robot control processes, symbolic model verifier, symbolic model checking algorithm, robots, formal verification, logic testing, concurrency control, message passing, symbol manipulation, safety properties, liveness properties
1	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
1	Igor Pak	The product replacement algorithm is polynomial.	FOCS	2000	DBLP DOI BibTeX RDF	product replacement algorithm, random group elements, generating /spl kappa/-tuples, random component, group algebra packages, MAGMA, state of the art analytic technique, polynomial bounds, sub exponential bounds, polynomial upper bound, heuristic, random walk, polynomials, random number generation, heuristic programming, symbol manipulation, group theory, graph connectivity, GAP
1	Julien Dunoyer, Nizar Abdallah, Pirouz Bazargan-Sabet	A symbolic simulation approach in resolving signals' correlation.	Annual Simulation Symposium	1996	DBLP DOI BibTeX RDF	signal resolution, signal correlation resolution, symbolic simulation approach, evaluation package, signal transition density, specification levels, first order clue, independent inputs, binary decision diagram concept, algorithms, VLSI, probability, logic CAD, digital simulation, design process, decision theory, circuit analysis computing, integrated circuit design, circuit CAD, digital circuits, subroutines, symbol manipulation, power dissipation, correlation methods, digital integrated circuits, signal probability, probabilistic approach, synthesis tools
1	Frank van der Velde	Symbol Manipulation with Neural Networks: Production of a Context-free Language Using a Modifiable Working Memory.	Connect. Sci.	1995	DBLP DOI BibTeX RDF
1	Jaeyoung Choi, Jack Dongarra	Scalable linear algebra software libraries for distributed memory concurrent computers.	FTDCS	1995	DBLP DOI BibTeX RDF	scalable linear algebra software libraries, distributed memory concurrent computers, core factorization routines, ScaLAPACK library, block cyclic data distribution, message passing communication, scalable software library, de facto standard kernels, Intel iPSC/860, Touchstone Delta, Paragon systems, parallel programming, message passing, software reusability, software libraries, parallel implementations, symbol manipulation, matrix operations, vector operations
1	Glenn Jennings	Symbolic incompletely specified functions for correct evaluation in the presence of indeterminate input values.	HICSS	1995	DBLP DOI BibTeX RDF	correct evaluation, indeterminate input values, Ordered Ternary Decision Diagram, OTDD, Boolean functions, symbolic computation, symbol manipulation, ternary logic, incompletely specified functions
1	Aniello Cimitile, Andrea De Lucia, Malcolm Munro	Identifying reusable functions using specification driven program slicing: a case study. (PDF / PS)	ICSM	1995	DBLP DOI BibTeX RDF	reusable function identification, specification driven program slicing, code fragment isolation, functional abstractions, program statement execution, program predicate execution, entry points, exit points, algorithms, formal specification, software maintenance, software reusability, data flow analysis, symbolic execution, precondition, program diagnostics, dependence graphs, symbol manipulation, control flow graphs, program control structures, C programs, postcondition
1	William Blume, Rudolf Eigenmann	Symbolic range propagation. (PDF / PS)	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
1	Mark J. Clement, Michael J. Quinn	Symbolic performance prediction of scalable parallel programs. (PDF / PS)	IPPS	1995	DBLP DOI BibTeX RDF	symbolic performance prediction, scalable parallel programs, massively parallel processing machines, performance prediction methodology, program source code, algebraic manipulations, parallel processing, analytical model, software performance evaluation, program debugging, hardware architectures, symbol manipulation, performance tuning, symbolic analysis, computational problems
1	Enrico Pontelli, Gopal Gupta, Manuel V. Hermenegildo	&ACE: a high-performance parallel Prolog system. (PDF / PS)	IPPS	1995	DBLP DOI BibTeX RDF	parallel Prolog system, parallel symbolic computing, Independent And-parallelism, logic programming, PROLOG, shared memory multiprocessor, shared memory systems, symbol manipulation, Or-parallelism, ACE
1	Bernhard Albert, Anura P. Jayasumana	Performance analysis of FDDI LANs using numerical methods. (PDF / PS)	LCN	1995	DBLP DOI BibTeX RDF	FDDI LANs, Mathematica code, graphing capabilities, average access delay estimate, advanced token ring based networks, FFOL, FDDI follow on LAN, medium loaded networks, low loaded networks, symmetric multimedia environment, bimodal traffic, short data packets, video packets, estimated average access time, varied offered load, simulators, performance evaluation, performance analysis, graph theory, virtual machines, delays, local area networks, error analysis, numerical analysis, numerical methods, error rate, symbol manipulation, FDDI, network configuration, confidence measure, token networks
1	Duncan J. Batey, Julian A. Padget	Coordinating heterogeneous parallelism.	PDP	1995	DBLP DOI BibTeX RDF	heterogeneous parallelism coordination, client-server based programming environment, massively parallel symbolic computing, programming environments, client-server systems, network operating systems, symbol manipulation, distributed parallel computations
1	Daniel Keren	Using Symbolic Computation to Find Algebraic Invariants.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	algebraic invariants, complicated objects, Brown University, polynomial coefficients, computer vision, object recognition, CAD, polynomials, graphics, symbolic computation, symbol manipulation, implicit polynomials
1	Michael Young, David L. Levine, Richard N. Taylor	Comments on ``Temporal Logic-Based Deadlock Analysis for Ada''.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	temporal logic-based deadlock analysis, axiomatic proof method, event-based models, computational complexity, computational complexity, Ada, Ada, temporal logic, concurrency control, nondeterminism, symbolic manipulation, symbol manipulation, state-based models
1	Paul F. M. J. Verschure	Formal Minds and Biological Brains: AI and Edelman's Extended Theory of Neuronal Group Selection.	IEEE Expert	1993	DBLP DOI BibTeX RDF
1	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
1	Dongming Wang, Bernd Schürmann	Computer Aided Analysis and Derivation for Artificial Neural Systems.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	computer aided analysis and derivation, symbolic mathematical objects manipulation, artificial neural systems, biological knowledge, Lyapunov stability theory, computer aided analysis, artificial intelligence, neural nets, toolkit, symbolic computation, symbol manipulation, mathematics computing, MACSYMA, Lyapunov methods, learning rule
1	Jean-Luc Gaudiot, Andrew Sohn	Data-Driven Parallel Production Systems.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	parallel production systems, data-flow principles, high programmability, data-driven principles, RETE match algorithm, actor set, program graph design, tagged data-flow computer, deterministic simulation, artificial intelligence production systems, parallel programming, parallel architectures, expert systems, symbolic computations, symbol manipulation, multiprocessor architecture, numerical computations, multiprocessor environment, data-driven architectures
1	Larry J. Morell	A Theory of Fault-Based Testing.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	fault-based program testing, prescribed faults, alternate expressions, program expressions, symbolic alternative, propagation equation, alternative set, finite test, computational complexity, program verification, symbolic execution, symbol manipulation, test set
1	Bruce W. Char	Progress Report on a System for General-Purpose Parallel Symbolic Algebraic Computation.	ISSAC	1990	DBLP DOI BibTeX RDF	Maple, Linda
1	Harold V. McIntosh, Gerardo Cisneros	The programming languages REC and convert.	SIGPLAN Notices	1990	DBLP DOI BibTeX RDF
1	Richard J. Fateman	A Review of Macsyma.	IEEE Trans. Knowl. Data Eng.	1989	DBLP DOI BibTeX RDF	Macsyma algebraic manipulation system, knowledge-adjunction, mathematical semantics, user model, software packages, symbol manipulation, mathematics computing, language semantics, input/output, future directions
1	Sharam Hekmatpour	Introduction to LISP and symbol manipulation.		1988	RDF
1	Carl Trindle	Application of the MuMATH(R) Symbol Manipulation System to Chemically Significant Permutation Groups.	J. Symb. Comput.	1986	DBLP DOI BibTeX RDF
1	J. M. Shearer, M. A. Wolfe	ALGLIB, A Simple Symbol-Manipulation Package.	Commun. ACM	1985	DBLP DOI BibTeX RDF
1	Hans Zassenhaus	Symbol Manipulation and Symmetry Breaking.	European Conference on Computer Algebra	1985	DBLP DOI BibTeX RDF
1	Takanobu Baba, Ken Ishikawa, Kenzo Okuda	A Two-Level Microprogrammed Multiprocessor Computer with Nonnumeric Functions.	IEEE Trans. Computers	1982	DBLP DOI BibTeX RDF	two-level microprogramming, nonnumeric processing, parallel processing, multiprocessor, emulation, Database system, symbol manipulation, firmware
1	James N. Hanson	The Analysis of CAMS by Computer Aided Algebraic and Symbol Manipulation.	IFIP Congress	1977	DBLP BibTeX RDF
1	Anthony C. Hearn	Applications of Symbol Manipulation in Theoretical Physics.	Commun. ACM	1971	DBLP DOI BibTeX RDF
1	Mario L. Juncosa	A General Analytic Approach for Integrals of Coverage and More General Type Using Automatic Symbol Manipulation.	IFIP Congress	1971	DBLP BibTeX RDF
1	Robert Balzer, David J. Farber	APAREL - A parse-request language.	Commun. ACM	1969	DBLP DOI BibTeX RDF	string processing, pattern matching, translator, syntax, symbol manipulation, text processing, parser, BNF, PL/I
1	G. Sauer	Remark on algorithm 268 [R2]: ALGOL 60 reference language editor.	Commun. ACM	1969	DBLP DOI BibTeX RDF	ALGOL, symbol manipulation
1	Paul W. Abrahams	Symbol Manipulation Languages.	Advances in Computers	1968	DBLP DOI BibTeX RDF
1	Carlos Christensen	On the implementation of AMBIT, a language for symbol manipulation.	Commun. ACM	1966	DBLP DOI BibTeX RDF
1	M. J. Bailey, Michael P. Barnett, P. B. Burleson	Symbol manipulation in FORTRAN: SASP I subroutines.	Commun. ACM	1964	DBLP DOI BibTeX RDF
1	Michael P. Barnett, J. M. Gerard, A. W. Sambles	Comments on "a continued operation notation".	Commun. ACM	1964	DBLP DOI BibTeX RDF
1	John Cocke, Marvin Minsky	Universality of Tag Systems with P=2.	J. ACM	1964	DBLP DOI BibTeX RDF
1	Michael P. Barnett	Continued operation notation for symbol manipulation and array processing.	Commun. ACM	1963	DBLP DOI BibTeX RDF
1	Allen Newell	Documentation of IPL-V.	Commun. ACM	1963	DBLP DOI BibTeX RDF
1	Joseph Henry Wegstein, W. W. Youden	A string language for symbol manipulation based on ALGOL 60.	Commun. ACM	1962	DBLP DOI BibTeX RDF
1	Julian Feldman	TALL: A list processor for the Philco 2000 computer.	Commun. ACM	1962	DBLP DOI BibTeX RDF
1	James W. Hanson, Jane Shearin Caviness, Camilla Joseph	Analytic differentiation by computer.	Commun. ACM	1962	DBLP DOI BibTeX RDF
1	John W. Carr III, James W. Hanson	Two subroutines for symbol manipulation with an algebraic compiler.	Commun. ACM	1961	DBLP DOI BibTeX RDF
1	Douglas T. Ross	A generalized technique for symbol manipulation and numerical calculation.	Commun. ACM	1961	DBLP DOI BibTeX RDF
1	Robert W. Floyd	A Descriptive Language for Symbol Manipulation.	J. ACM	1961	DBLP DOI BibTeX RDF
1	Douglas T. Ross	Computer-aided design.	Commun. ACM	1961	DBLP DOI BibTeX RDF	efficient computation of very large complex problems, manual intervention techniques and equipment, numerical control processes, operating and debugging systems, problem formulation, information retrieval, artificial intelligence, problem solving, language design, automatic programming, symbol manipulation, techniques, compiler techniques
1	Alan J. Perlis, Charles Thornton	Symbol Manipulation by Threaded Lists.	Commun. ACM	1960	DBLP DOI BibTeX RDF
1	Julien Green	Symbol Manipulation in XTRAN.	Commun. ACM	1960	DBLP BibTeX RDF
1	Joseph W. Smith	Syntactic and Semantic Augments to ALGOL.	Commun. ACM	1960	DBLP DOI BibTeX RDF
1	Julien Green	Remarks on ALGOL and Symbol Manipulation.	Commun. ACM	1959	DBLP DOI BibTeX RDF