Search results for "symbolic manipulation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Wenbo Mao	An augmentation of BAN-like logics.	CSFW	1995	DBLP DOI BibTeX RDF	BAN-like logics augmentation, protocol idealization, rule-based technique, protocol syntax, protocols, formal logic, message authentication, authentication protocols, symbolic manipulation
2	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
2	Yoshinori Kuno, Yasukazu Okamoto, Satoshi Okada	Robot Vision Using a Feature Search Strategy Generated from a 3D Oobject Model.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	attitude determination, feature search strategy, treelike strategy graph, strategy generation, computer vision, feature extraction, robots, computerised picture processing, computerised pattern recognition, robot vision, symbolic manipulation, perspective projection, 3D object model, orthographic projection, ellipses, object localization, position measurement, parallel lines
2	James C. Howard, Howard Tashjian	An algorithm for deriving the equations of mathematical physics by symbolic manipulation.	Commun. ACM	1968	DBLP DOI BibTeX RDF	FORMAC, continuity equation, curvilinear coordinate systems, tensor equation, FORTRAN, tensor, symbolic manipulation, Navier-Stokes equations
1	Miloslav Znojil	Symbolic-manipulation constructions of Hilbert-space metrics in quantum mechanics	CoRR	2011	DBLP BibTeX RDF
1	Miloslav Znojil	Symbolic-Manipulation Constructions of Hilbert-Space Metrics in Quantum Mechanics.	CASC	2011	DBLP DOI BibTeX RDF
1	M. Tentyukov, J. A. M. Vermaseren, J. Vollinga	Parallel versions of the symbolic manipulation system FORM	CoRR	2010	DBLP BibTeX RDF
1	Andreas Griewank	Complexity of Gradients, Jacobians, and Hessians.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Computer algebra, Automatic differentiation, Symbolic manipulation, Divided differences
1	David Monniaux	Automatic modular abstractions for linear constraints.	POPL	2009	DBLP DOI BibTeX RDF	program transformation, abstract interpretation, quantifier elimination, linear inequalities
1	André Almeida, Marco Almeida, José Alves, Nelma Moreira, Rogério Reis	FAdo and GUItar.	CIAA	2009	DBLP DOI BibTeX RDF
1	Farhad Aghili	Dynamics and control of constrained mechanical systems in terms of reduced quasi-velocities.	ICRA	2008	DBLP DOI BibTeX RDF
1	John Charnley, Simon Colton	A Global Workspace Framework for Combining Reasoning Systems.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF
1	Evgenija D. Popova	Mathematica Connectivity to Interval Libraries filib++ and C-XSC.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF	interval software, C-XSC, filib++, MathLink, external programs, interfacing, Mathematica, Software interoperability
1	Andrés Iglesias, R. Ipanaqué, R. T. Urbina	Symbolic Manipulation of Bspline Basis Functions with Mathematica.	International Conference on Computational Science	2007	DBLP DOI BibTeX RDF
1	A. D. Kennedy, Thomas Binoth, Thomas Rippon	Automating renormalization of quantum field theories.	SNC	2007	DBLP DOI BibTeX RDF	Feynman diagrams, quantum field theory, renormalization theory
1	Ha Hoang, Ladislav J. Kohout	Proof System for Enriched Fuzzy BK Relational Calculi: Pt.1-Transforming Notations.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
1	Viliam Holub, Frantisek Plasil	Reducing Component Systems' Behavior Specification.	SCCC	2007	DBLP DOI BibTeX RDF
1	Ana Paula Tomás, José Paulo Leal, Marcos Aurélio Domingues	A Web Application for Mathematics Education.	ICWL	2007	DBLP DOI BibTeX RDF
1	Mamadou K. Traoré	Analyzing static and temporal properties of simulation models.	Winter Simulation Conference	2006	DBLP DOI BibTeX RDF
1	Sungroh Yoon, Luca Benini, Giovanni De Micheli	A Pattern-Mining Method for High-Throughput Lab-on-a-Chip Data Analysis.	IEEE Trans. on CAD of Integrated Circuits and Systems	2006	DBLP DOI BibTeX RDF
1	Laurent Tournier	Approximation of dynamical systems using s-systems theory: application to biological systems.	ISSAC	2005	DBLP DOI BibTeX RDF	positive equilibria, stability, dynamical systems, power-law, s-systems
1	Nelma Moreira, Rogério Reis	Interactive manipulation of regular objects with FAdo.	ITiCSE	2005	DBLP DOI BibTeX RDF	interactive visual tools, e-learning, automata theory, regular languages
1	Halima Bahi, Mokhtar Sellami	Neural Expert Model Applied to Phonemes Recognition.	MLDM	2005	DBLP DOI BibTeX RDF
1	M. Tentyukov, D. Fliegner, M. Frank, A. Onischenko, A. Retey, H. M. Staudenmaier, J. A. M. Vermaseren	ParFORM: Parallel Version of the Symbolic Manipulation Program FORM	CoRR	2004	DBLP BibTeX RDF
1	Hongbo Li	nD Polyhedral Scene Reconstruction from Single 2D Line Drawing by Local Propagation.	Automated Deduction in Geometry	2004	DBLP DOI BibTeX RDF	Structural Reconstruction, Grassmann-Cayley Algebra, Local Propagation, Polyhedra, Geometric Reconstruction
1	Jason H. Moore, Lance W. Hahn	An Improved Grammatical Evolution Strategy for Hierarchical Petri Net Modeling of Complex Genetic Systems.	EvoWorkshops	2004	DBLP DOI BibTeX RDF
1	D. P. B. Chaves, Cecilio Pimentel, Bartolomeu F. Uchôa Filho	An Iterative Matrix-Based Procedure for Finding the Shannon Cover for Constrained Sequences.	ICT	2004	DBLP DOI BibTeX RDF
1	Koichi Ogawara, Jun Takamatsu, Hiroshi Kimura, Katsushi Ikeuchi	Acquisition of a symbolic manipulation task model by attention point analysis.	Advanced Robotics	2003	DBLP DOI BibTeX RDF
1	Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival	A static analyzer for large safety-critical software.	PLDI	2003	DBLP DOI BibTeX RDF	verification, real-time, static analysis, embedded, abstract interpretation, floating point, safety-critical software, reactive, abstract domains
1	Daniel Große, Rolf Drechsler	Formal verification of LTL formulas for SystemC designs.	ISCAS	2003	DBLP DOI BibTeX RDF
1	Armando G. M. Neves	Symbolic Computation of High-Order Exact Picard Iterates for Systems of Linear Differential Equations with Time-Periodic Coefficients.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
1	Juan Vicente Sánchez-Andrés	Intelligence and Computation: A View from Physiology.	IWANN	2003	DBLP DOI BibTeX RDF
1	Tuba Yavuz-Kahveci, Tevfik Bultan	Specification, verification, and synthesis of concurrency control components.	ISSTA	2002	DBLP DOI BibTeX RDF	infinite-state model checking, monitors, specification languages, concurrent programming
1	Ralph-Johan Back, Cristina Cerschi Seceleanu, Jan Westerholm	Symbolic Simulation of Hybrid Systems.	APSEC	2002	DBLP DOI BibTeX RDF
1	Ayal Z. Pinkus, Serge Winitzki	YACAS: A Do-It-Yourself Symbolic Algebra Environment.	AISC	2002	DBLP DOI BibTeX RDF
1	Petr Husek, Renata Pytelková	On Polynomial and Polynomial Matrix Interpolation.	International Conference on Computational Science	2002	DBLP DOI BibTeX RDF
1	Bruce H. Thomas, Wayne Piekarski	Glove Based User Interaction Techniques for Augmented Reality in an Outdoor Environment.	Virtual Reality	2002	DBLP DOI BibTeX RDF	Glove based interaction, Augmented reality, Wearable computers, User interactions
1	Gianpiero Cabodi	Meta-BDDs: A Decomposed Representation for Layered Symbolic Manipulation of Boolean Functions.	CAV	2001	DBLP DOI BibTeX RDF
1	Kanji Hirabayashi	An Algebraic Approach to Formal Verification of Microprocessors.	J. Electronic Testing	2001	DBLP DOI BibTeX RDF	formal verification, microprocessor
1	A. Louise Perkins, M. J. Miller	A compile time configurable, load time modifyable ocean model.	ACM Southeast Regional Conference	2000	DBLP DOI BibTeX RDF
1	C.-J. Richard Shi, Sheldon X.-D. Tan	Canonical symbolic analysis of large analog circuits withdeterminant decision diagrams.	IEEE Trans. on CAD of Integrated Circuits and Systems	2000	DBLP DOI BibTeX RDF
1	Thomas Fahringer, Bernhard Scholz	A Unified Symbolic Evaluation Framework for Parallelizing Compilers.	IEEE Trans. Parallel Distrib. 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
1	Alexander Yu. Vlasov	Object Oriented and Functional Programming for Symbolic Manipulation	CoRR	1999	DBLP BibTeX RDF
1	Pramod G. Joisha, Prithviraj Banerjee	PARADIGM (version 2.0): A New HPF Compilation System. (PDF / PS)	IPPS/SPDP	1999	DBLP DOI BibTeX RDF
1	Gianpiero Cabodi, Paolo Camurati, Stefano Quer	Improving the efficiency of BDD-based operators by means of partitioning.	IEEE Trans. on CAD of Integrated Circuits and Systems	1999	DBLP DOI BibTeX RDF
1	Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci	A Symbolic Model Checker for ACTL.	FM-Trends	1998	DBLP DOI BibTeX RDF
1	Jürgen Albert, Dora Giammarresi, Derick Wood	Extended Context-Free Grammars and Normal Form Algorithms.	Workshop on Implementing Automata	1998	DBLP DOI BibTeX RDF
1	Marie-Chantal Beaulieu, Anne Bergeron	Automata and Computational Probabilities.	Workshop on Implementing Automata	1998	DBLP DOI BibTeX RDF
1	Kanji Hirabayashi	A Method of Formal Verification of Cryptographic Circuits.	J. Electronic Testing	1998	DBLP DOI BibTeX RDF	formal verification, encryption, decryption
1	Serguei P. Tsarev	Symbolic Manipulation of Integrodifferential Expressions and Factorization of Linear Ordinary Differential Operators over Transcendental Extensions of a Differential Field.	ISSAC	1997	DBLP BibTeX RDF
1	Luca Benini, Giovanni De Micheli, Enrico Macii, Massimo Poncino, Riccardo Scarsi	Symbolic synthesis of clock-gating logic for power optimization of control-oriented synchronous networks.	ED&TC	1997	DBLP DOI BibTeX RDF
1	José M. Mendías, Román Hermida, Milagros Fernández	Formal Techniques for Hardware Allocation.	VLSI Design	1997	DBLP DOI BibTeX RDF
1	Justiani, Laurie J. Hendren	Supporting Array Dependence Testing for an Optimizing/Parallelizing C Compiler.	CC	1994	DBLP DOI BibTeX RDF
1	Randy M. Kaplan	Bridging the Gap between Knowledge Engineering and Efficient Implementation in an Intelligent Tutoring System.	DEXA	1994	DBLP DOI BibTeX RDF	expert systems, implementation, knowledge engineering, intelligent tutors
1	Aarti Gupta, Allan L. Fisher	Representation and symbolic manipulation of linearly inductive Boolean functions.	ICCAD	1993	DBLP DOI BibTeX RDF
1	Aarti Gupta, Allan L. Fisher	Parametric Circuit Representation Using Inductive Boolean Functions.	CAV	1993	DBLP DOI BibTeX RDF
1	Farn Wang, Aloysius K. Mok, E. Allen Emerson	Symbolic Model Checking for Distributed Real-Time Systems.	FME	1993	DBLP DOI BibTeX RDF
1	François Bergeron, Nantel Bergeron	Symbolic Manipulation for the Study of the Descent Algebra of Finite Coxeter Groups.	J. Symb. Comput.	1992	DBLP DOI BibTeX RDF
1	László Babai	Deciding Finiteness of Matrix Groups in Las Vegas Polynomial Time.	SODA	1992	DBLP DOI BibTeX RDF
1	TingTing Hwang, Robert Michael Owens, Mary Jane Irwin	Efficiently computing communication complexity for multilevel logic synthesis.	IEEE Trans. on CAD of Integrated Circuits and Systems	1992	DBLP DOI BibTeX RDF
1	Juan Bicarregui, Brian Ritchie	Reasoning about VDM Developments using the VDM Support Tool in MURAL.	VDM Europe	1991	DBLP DOI BibTeX RDF	integrated support environments, formal specification, formal methods, refinement, proof
1	A. K. Heng	Some Remarks On Numerical Iterations in a Symbolic Manipulation System.	J. Symb. Comput.	1990	DBLP DOI BibTeX RDF
1	Dimitris Karagiannis, Wolfgang Salzmann	SML: symbolic manipulation language. A graphic-orientid language for the description of a logic interpreter.	Inf. Syst.	1990	DBLP DOI BibTeX RDF
1	Robert F. Hadley	Connectionism, Rule Following, and Symbolic Manipulation.	AAAI	1990	DBLP BibTeX RDF
1	Randal E. Bryant	Symbolic Simulation - Techniques and Applications.	DAC	1990	DBLP DOI BibTeX RDF
1	Philippe Flajolet, Paolo Sipala, Jean-Marc Steyaert	Analytic Variations on the Common Subexpression Problem.	ICALP	1990	DBLP DOI BibTeX RDF
1	Marek Rusinkiewicz, Bogdan D. Czejdo	Query Transformation in a Multidatabase Environments Using a Universal Symbolic Manipulation System.	ACM Conference on Computer Science	1989	DBLP BibTeX RDF
1	Richard D. Neidinger	An APL Approach to Differential Calculus Yields a Powerful Tool.	APL	1989	DBLP DOI BibTeX RDF	APL
1	Philippe Flajolet, Andrew M. Odlyzko	Random Mapping Statistics.	EUROCRYPT	1989	DBLP DOI BibTeX RDF
1	Jonathan J. Oliver, Ingrid Zukerman	DISSOLVE: A System for the Generation of Human Oriented Solutions to Algebraic Equations.	Australian Joint Conference on Artificial Intelligence	1988	DBLP DOI BibTeX RDF	AI and Education, Symbolic Manipulation
1	Harvey Cohn, Jesse Ira Deutsch	Application of Symbolic Manipulation to the Hecke Transformations of Modular Forms in Two Variables, II.	J. Symb. Comput.	1987	DBLP DOI BibTeX RDF
1	Bertrand Serlet	Fast, Small, and Static Combinatorial CMOS Circuits.	DAC	1987	DBLP DOI BibTeX RDF
1	Paolo Massazza, Giancarlo Mauri, P. Righi, Mauro Torelli	A Symbolic Manipulation System for Combinatorial Problems.	AAECC	1986	DBLP DOI BibTeX RDF
1	Randal E. Bryant	Graph-Based Algorithms for Boolean Function Manipulation.	IEEE Trans. Computers	1986	DBLP DOI BibTeX RDF	logic design verification, Boolean functions, binary decision diagrams, symbolic manipulation
1	Rakesh M. Verma, Krishnaprasad Thirunarayan, I. V. Ramakrishnan	An Efficient Parallel Algorithm for Term Matching.	FSTTCS	1986	DBLP DOI BibTeX RDF
1	Randal E. Bryant	Symbolic manipulation of Boolean functions using a graphical representation.	DAC	1985	DBLP DOI BibTeX RDF
1	Bernie L. Hulme	Richard B. Worrell: A Prime Implicant Algorithm with Factoring.	IEEE Trans. Computers	1975	DBLP DOI BibTeX RDF	Boolean functions, factoring, symbolic manipulation, prime implicants