Search results for "Mathematica"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Bart M. ter Haar Romeny, Jan-Mark Geusebroek, Peter Van Osta, Rein van den Boomgaard, Jan J. Koenderink	Color Differential Structure.	Scale-Space	2001	DBLP DOI BibTeX RDF
12	Hema Tahilramani Kaur, D. Manjunath, Sanjay K. Bose	The Queuing Network Analysis Tool (QNAT).	MASCOTS	2000	DBLP DOI BibTeX RDF
12	A. Buzin, I. Naftulin	APL tutorial in mathematical modelling.	APL	2000	DBLP DOI BibTeX RDF	APL
12	Andrés Iglesias 0001	How Symbolic Computation Can Benefit Computer-Aided Geometric Design.	AISC	2000	DBLP DOI BibTeX RDF
12	Bart M. ter Haar Romeny, Luc Florack	Front-End Vision: A Multiscale Geometry Engine.	Biologically Motivated Computer Vision	2000	DBLP DOI BibTeX RDF
12	Adam W. Strzebonski	A Real Polynomial Decision Algorithm Using Arbitrary-Precision Floating Point Arithmetic.	Reliab. Comput.	1999	DBLP DOI BibTeX RDF
12	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
12	Ünal Göktas, Willy Hereman	Algorithmic computation of generalized symmetries of nonlinear evolution and lattice equations.	Adv. Comput. Math.	1999	DBLP DOI BibTeX RDF	evolution equation, DDE, 35Q53, 35R10, 34K99, integrability, lattice, symmetry, PDE, 68Q40
12	Pramod G. Joisha, Prithviraj Banerjee	PARADIGM (version 2.0): A New HPF Compilation System.	IPPS/SPDP	1999	DBLP DOI BibTeX RDF
12	Vladimir Ivancevic, Lakhmi C. Jain, V. Puri, D. Filippidis	Optimization and integration of forward observer decision making model.	KES	1999	DBLP DOI BibTeX RDF
12	Tijana T. Ivancevic, Lakhmi C. Jain, Murk J. Bottema	A new two-feature GBAM-neurodynamical classifier for breast cancer diagnosis.	KES	1999	DBLP DOI BibTeX RDF
12	Tijana T. Ivancevic, Lakhmi C. Jain, Murk J. Bottema	A new two-feature FAM-matrix classifier for breast cancer diagnosis.	KES	1999	DBLP DOI BibTeX RDF
12	Rakesh M. Verma, Shalitha Senanayake	LarrowR2: A Laboratory fro Rapid Term Graph Rewriting.	RTA	1999	DBLP DOI BibTeX RDF
12	Kanji Hirabayashi	A Method of Formal Verification of Cryptographic Circuits.	J. Electron. Test.	1998	DBLP DOI BibTeX RDF	formal verification, encryption, decryption
12	Reinhard German	Markov Regenerative Stochastic Petri Nets with General Execution Policies: Supplementary Variable Analysis and a Prototype Tool.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF
12	Hua Hua, Steven O. Kim	A Case Study in Model Management: The US Coast Guard, GAO, TEFA-2, and Structured Modeling with Embedded Languages.	HICSS (5)	1997	DBLP DOI BibTeX RDF
12	Jeffrey Walrath, Ranga Vemuri	Symbolic Evaluation of Performance Models for Tradeoff Visualization.	DAC	1997	DBLP DOI BibTeX RDF	VHDL
12	Stéphane Dalmas, Marc Gaëtano	Making Systems Communicate and Cooperate: The Central Control Approach.	DISCO	1996	DBLP DOI BibTeX RDF
12	Daniel DeMenthon, Larry S. Davis	Model-based object pose in 25 lines of code.	Int. J. Comput. Vis.	1995	DBLP DOI BibTeX RDF
12	Sue Fitzgerald, Jerry Place	Teaching elementary queueing theory with a computer algebra system.	SIGCSE	1995	DBLP DOI BibTeX RDF	elementary queueing theory, teaching techniques, Maple, Maple, computer algebra, CAS, MACSYMA, Birth-Death process
12	Jesús Rodríguez-Millán	Basins of Attraction Estimation Through Symbolic Graphical Computing Techniques.	EUROCAST	1995	DBLP DOI BibTeX RDF	Dissipative Dynamical Systems, Nonlinear Oscillations, Symbolic Computing, Lyapunov Functions, Basins of Attraction
12	Jesús Rodríguez-Millán, Juan Cardillo	Symbolic Computing Aided Design of Nonlinear PID Controllers.	EUROCAST	1995	DBLP DOI BibTeX RDF	Nonlinear PID Controllers, Jacobian and Extended Linearization, Symbolic Computing
12	Peter Fritzson, Vadim Engelson, Lars Viklund	Variant Handling, Inheritance and Composition in the ObjectMath Computer Algebra Environment.	DISCO	1993	DBLP DOI BibTeX RDF
12	Robert Fournier, Norbert Kajler, Bernard Mourrain	IZIC: A Portable Language-Driven Tool for Mathematical Surfaces Visualization.	DISCO	1993	DBLP DOI BibTeX RDF	meshed surfaces, rendering, Computer Algebra, graphic tool, TCL
12	Georgios Grivas, Roman Maeder	Matching and Unification for the Object-Oriented Symbolic Computation System AlgBench.	DISCO	1993	DBLP DOI BibTeX RDF
12	Daniel DeMenthon, Larry S. Davis	Model-Based Object Pose in 25 Lines of Code.	ECCV	1992	DBLP DOI BibTeX RDF
12	Michael Barnett 0001	The formal derivation of distributed programs from systolic arrays.	SPDP	1990	DBLP DOI BibTeX RDF
12	Jean-Louis Lassez	Parametric queries, linear constraints and variable elimination.	DISCO	1990	DBLP DOI BibTeX RDF
12	Mike Clarkson	Praxis: A Rule-Based Expert System for MACSYMA.	DISCO	1990	DBLP DOI BibTeX RDF
12	Karl Aberer	Normal Forms in Function Fields.	ISSAC	1990	DBLP DOI BibTeX RDF
12	Richard J. Fateman	Advances and Trends in the Design and Construction of Algebraic Manipulation Systems.	ISSAC	1990	DBLP DOI BibTeX RDF	MACSYMA