Search results for "exponentials"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Frédéric Jean, Pierre-Vincent Koseleff	Elementary Approximation of Exponentials of Lie Polynominals.	AAECC	1997	DBLP DOI BibTeX RDF
20	Anja Feldmann, Ward Whitt	Fitting Mixtures of Exponentials to Long-Tail Distributions to Analyze Network Performance Models.	INFOCOM	1997	DBLP DOI BibTeX RDF
20	Yves Lafont	The Undecidability of Second Order Linear Logic Without Exponentials.	J. Symb. Log.	1996	DBLP DOI BibTeX RDF
20	Robert E. Terrell	Matrix Exponentials.	SIAM Rev.	1996	DBLP DOI BibTeX RDF
20	Koichiro Okamura, Frank C. Park 0001	Kinematic calibration using the product of exponentials formula.	Robotica	1996	DBLP DOI BibTeX RDF
20	Leentje Vanhamme, Aad van den Boogaart, Sabine Van Huffel	Fast and accurate parameter estimation of noisy complex exponentials with use of prior knowledge.	EUSIPCO	1996	DBLP BibTeX RDF
20	Joseph M. Francos, Benjamin Friedlander	Bounds for estimation of complex exponentials in unknown colored noise.	IEEE Trans. Signal Process.	1995	DBLP DOI BibTeX RDF
20	Machiraju Vijay	Fault Tolerant Systolic Evaluation of Polynomials and Exponentials of Polynomials for equispaced Arguments Using Time Redundancy.	Int. J. High Speed Comput.	1995	DBLP DOI BibTeX RDF
20	Dima Grigoriev, Michael F. Singer, Andrew Chi-Chih Yao	On Computing Algebraic Functions Using Logarithms and Exponentials.	SIAM J. Comput.	1995	DBLP DOI BibTeX RDF
20	Pierre-Vincent Koseleff	About Approximations of Exponentials.	AAECC	1995	DBLP DOI BibTeX RDF
20	Frank C. Park 0001	Computational aspects of the product-of-exponentials formula for robot kinematics.	IEEE Trans. Autom. Control.	1994	DBLP DOI BibTeX RDF
20	Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx	The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs.	Kurt Gödel Colloquium	1993	DBLP DOI BibTeX RDF
20	Mohsine Karrakchou, J. Vidal, Jean-Marc Vesin, F. Feihl, C. Perret, Murat Kunt	Parameter estimation of decaying exponentials by projection on the parameter space.	Signal Process.	1992	DBLP DOI BibTeX RDF
20	R. E. Terrell	Exponentials of Certain Hilbert Space Operators (M. L. Glasser).	SIAM Rev.	1992	DBLP DOI BibTeX RDF
20	Ashok K. Krishnamurthy	Glottal source estimation using a sum-of-exponentials model.	IEEE Trans. Signal Process.	1992	DBLP DOI BibTeX RDF
20	M. L. Glasser	Exponentials of Certain Hilbert Space Operators.	SIAM Rev.	1991	DBLP DOI BibTeX RDF
20	S. C. Dutta Roy, Shailey Minocha	A note on 'Efficient evaluation of polynomials and exponentials of polynomials for equispaced arguments' by A.H. Nuttall.	IEEE Trans. Signal Process.	1991	DBLP DOI BibTeX RDF
20	Jerrold R. Griggs	Iterated exponentials of two numbers.	Discret. Math.	1991	DBLP DOI BibTeX RDF
20	Frank C. Park 0001, Daniel J. Pack	Motion control using the product-of-exponentials kinematic equations.	ICRA	1991	DBLP DOI BibTeX RDF
20	James D. George, Phillip L. Ainsleigh	A constrained Newton algorithm for maximum likelihood modeling of sums of exponentials, in noise.	ICASSP	1990	DBLP DOI BibTeX RDF
20	Edgar M. E. Wermuth	Commuting Matrix Exponentials (Dennis S. Bernstein).	SIAM Rev.	1989	DBLP DOI BibTeX RDF
20	A. K. Pradeep, Paul J. Yoder, Rangaswamy Mukundan	On the Use of Dual-Matrix Exponentials in Robotic Kinematics.	Int. J. Robotics Res.	1989	DBLP DOI BibTeX RDF
20	John R. Stembridge	The Bruhat order and iterated exponentials.	J. Comb. Theory, Ser. A	1989	DBLP DOI BibTeX RDF
20	Keith O. Geddes, Tony C. Scott	Recipes for Classes of Definite Integrals Involving Exponentials and Logarithms.	Computers and Mathematics	1989	DBLP DOI BibTeX RDF
20	A. Okhovat, J. R. Cruz	Statistical analysis of the Tufts-Kumaresan and principal Hankel components methods for estimating damping factors of single complex exponentials.	ICASSP	1989	DBLP DOI BibTeX RDF
20	Cristian Calude	Super-Exponentials Nonprimitive Recursive, but Rudimentary.	Inf. Process. Lett.	1987	DBLP DOI BibTeX RDF
20	Boaz Porat, Benjamin Friedlander	On the accuracy of the Kumaresan-Tufts method for estimating complex damped exponentials.	IEEE Trans. Acoust. Speech Signal Process.	1987	DBLP DOI BibTeX RDF
20	Albert H. Nuttall	Efficient evaluation of polynomials and exponentials of polynomials for equispaced arguments.	IEEE Trans. Acoust. Speech Signal Process.	1987	DBLP DOI BibTeX RDF
20	Benjamin Friedlander, Boaz Porat	An accuracy analysis of the Kumaresan-Tufts method for estimating complex damped exponentials.	ICASSP	1987	DBLP DOI BibTeX RDF
20	Guy R. L. Sohie, Arun Mirchandani	Accurate estimation of closely spaced, real, decaying exponentials in noise.	ICASSP	1987	DBLP DOI BibTeX RDF
20	Naofumi Takagi, Shuzo Yajima	Hardware algorithms for computing exponentials and logarithms using redundant binary representation.	Syst. Comput. Jpn.	1986	DBLP DOI BibTeX RDF
20	Tapan K. Sarkar, Joshua Nebat, Donald D. Weiner, Vijay K. Jain	Effect of record length on the correlation of complex exponentials.	ICASSP	1983	DBLP DOI BibTeX RDF
20	V. K. Jain	Decoupled Method for Approximation of Signals by Exponentials.	IEEE Trans. Syst. Sci. Cybern.	1970	DBLP DOI BibTeX RDF
14	Kurusch Ebrahimi-Fard, Dominique Manchon	A Magnus- and Fer-Type Formula in Dendriform Algebras.	Found. Comput. Math.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 16W25, 17A30, 17D25, 37C10, 05C05, 81T15
14	Wei Zuo, Yang Zhu, Lilong Cai	Fourier-Neural-Network-Based Learning Control for a Class of Nonlinear Systems With Flexible Components.	IEEE Trans. Neural Networks	2009	DBLP DOI BibTeX RDF
14	Zhifeng Wang, Shugen Ma, Bin Li 0001, Yuechao Wang	Dynamic modeling for locomotion-manipulation of a snake-like robot by using geometric methods.	IROS	2009	DBLP DOI BibTeX RDF
14	Helge Langseth, Thomas D. Nielsen, Rafael Rumí, Antonio Salmerón	Maximum Likelihood Learning of Conditional MTE Distributions.	ECSQARU	2009	DBLP DOI BibTeX RDF
14	Rodrigo de Souza	On the Decidability of the Equivalence for a Certain Class of Transducers.	Developments in Language Theory	2009	DBLP DOI BibTeX RDF
14	Vivek Nigam, Dale Miller 0001	Algorithmic specifications in linear logic with subexponentials.	PPDP	2009	DBLP DOI BibTeX RDF	subexponentials, linear logic, proof search
14	Agata Ciabattoni, Lutz Straßburger, Kazushige Terui	Expanding the Realm of Systematic Proof Theory.	CSL	2009	DBLP DOI BibTeX RDF
14	Alon Amar, Anthony J. Weiss	Fundamental Limitations on the Resolution of Deterministic Signals.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
14	Sung-Hee Lee, Demetri Terzopoulos	Spline joints for multibody dynamics.	ACM Trans. Graph.	2008	DBLP DOI BibTeX RDF	biological joints, scleronomic joints, splines, multibody dynamics
14	Wei Zuo, Lilong Cai	Adaptive-Fourier-Neural-Network-Based Control for a Class of Uncertain Nonlinear Systems.	IEEE Trans. Neural Networks	2008	DBLP DOI BibTeX RDF
14	Jonathan Malkin, Jeff A. Bilmes	Ratio semi-definite classifiers.	ICASSP	2008	DBLP DOI BibTeX RDF
14	Wen-Jun Zeng, Xi-Lin Li, Xian-Da Zhang, Hongxing Zou	Two-dimensional frequencies estimation using joint diagonalization.	ICASSP	2008	DBLP DOI BibTeX RDF
14	Eric Gehrig, Matthias Kawski	A hopf-algebraic formula for compositions of noncommuting flows.	CDC	2008	DBLP DOI BibTeX RDF
14	Arseny M. Shur	Combinatorial Complexity of Regular Languages.	CSR	2008	DBLP DOI BibTeX RDF
14	Zhu Dapeng, Zhou Shisheng	Modeling and Parameters Identification of Dynamic Properties of Paper Honeycomb Panel.	CSSE (6)	2008	DBLP DOI BibTeX RDF
14	W. N. Kang, Frank P. Kelly, N. H. Lee, Ruth J. Williams	Product form stationary distributions for diffusion approximations to a flow-level model operating under a proportional fair sharing policy.	SIGMETRICS Perform. Evaluation Rev.	2007	DBLP DOI BibTeX RDF
14	Doron Blatt, Alfred O. Hero III	On Tests for Global Maximum of the Log-Likelihood Function.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
14	Daniel Richardson	Zero Tests for Constants in Simple Scientific Computation.	Math. Comput. Sci.	2007	DBLP DOI BibTeX RDF	Exp-Log constants, zero test, Schanuel conjecture
14	Paulo Oliva	Computational Interpretations of Classical Linear Logic.	WoLLIC	2007	DBLP DOI BibTeX RDF
14	Behzad Akbarpour, Lawrence C. Paulson	Extending a Resolution Prover for Inequalities on Elementary Functions.	LPAR	2007	DBLP DOI BibTeX RDF
14	Salvador Ortiz 0002, Roberto Suaya	Efficient implementation of conduction modes for modelling skin effect.	ISVLSI	2007	DBLP DOI BibTeX RDF
14	John Case, Timo Kötzing, Todd Paddock	Feasible Iteration of Feasible Learning Functionals.	ALT	2007	DBLP DOI BibTeX RDF
14	James Broberg, Panlop Zeephongsekul, Zahir Tari	Approximating Bounded General Service Distributions.	ISCC	2007	DBLP DOI BibTeX RDF
14	Marco Gaboardi, Simona Ronchi Della Rocca	A Soft Type Assignment System for lambda -Calculus.	CSL	2007	DBLP DOI BibTeX RDF
14	Manfred K. Warmuth	Winnowing subspaces.	ICML	2007	DBLP DOI BibTeX RDF
14	Dima Kuzmin, Manfred K. Warmuth	Online kernel PCA with entropic matrix updates.	ICML	2007	DBLP DOI BibTeX RDF
14	Ander Murua	The Hopf Algebra of Rooted Trees, Free Lie Algebras, and Lie Series.	Found. Comput. Math.	2006	DBLP DOI BibTeX RDF	Free Lie algebra, Continous BCH function, Hopf algbra of rooted trees, Hall rooted trees, Lie series, Dual PBW basis, Rewritting algorithm, Logarithm of Chenn-Fliess series, Series of vector fields, Rooted tree
14	Ye Xia 0001, David N. C. Tse	Inference of Link Delay in Communication Networks.	IEEE J. Sel. Areas Commun.	2006	DBLP DOI BibTeX RDF
14	Ivan L. Sofronov, Olga V. Podgornova	A Spectral Approach for Generating Non-Local Boundary Conditions for External Wave Problems in Anisotropic Media.	J. Sci. Comput.	2006	DBLP DOI BibTeX RDF	anisotropic media, discrete transparent boundary conditions, low reflecting boundary conditions, Wave propagation
14	Olivier Rousseaux, Geert Leus, Marc Moonen	Estimation and equalization of doubly selective channels using known symbol padding.	IEEE Trans. Signal Process.	2006	DBLP DOI BibTeX RDF
14	Loïc Baboulaz, Pier Luigi Dragotti	Distributed Acquisition and Image Super-Resolution Based on Continuous Moments from Samples.	ICIP	2006	DBLP DOI BibTeX RDF
14	Rajeev Alur, Mikhail Bernadsky	Bounded Model Checking for GSMP Models of Stochastic Real-Time Systems.	HSCC	2006	DBLP DOI BibTeX RDF
14	Tobias Gradl, A. Spörl, Thomas Huckle, Steffen J. Glaser, Thomas Schulte-Herbrüggen	Parallelising Matrix Operations on Clusters for an Optimal Control-Based Quantum Compiler.	Euro-Par	2006	DBLP DOI BibTeX RDF
14	Vincent Arsigny, Olivier Commowick, Xavier Pennec, Nicholas Ayache	A Log-Euclidean Framework for Statistics on Diffeomorphisms.	MICCAI (1)	2006	DBLP DOI BibTeX RDF
14	Yanqiong Fei, Xifang Zhao	Modules Classification and Automatic Generation of Kinematics on Self-reconfigurable Modular Machines.	J. Intell. Robotic Syst.	2005	DBLP DOI BibTeX RDF	modules, kinematics, self-reconfigurable
14	José-Alejandro Piñeiro, Stuart F. Oberman, Jean-Michel Muller, Javier D. Bruguera	High-Speed Function Approximation Using a Minimax Quadratic Interpolator.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	Table-based methods, minimax polynomial approximation, single-precision computations, computer arithmetic, square root, reciprocal, elementary functions
14	Francesco Paoli	*-autonomous Lattices.	Stud Logica	2005	DBLP DOI BibTeX RDF	autonomous lattice, linear logic, residuated lattice, substructural logics, lattice-ordered group
14	Hamidreza Amindavar, Ali M. Reza	A new simultaneous estimation of directions of arrival and channel parameters in a multipath environment.	IEEE Trans. Signal Process.	2005	DBLP DOI BibTeX RDF
14	Michael Unser, Thierry Blu	Cardinal exponential splines: part I - theory and filtering algorithms.	IEEE Trans. Signal Process.	2005	DBLP DOI BibTeX RDF
14	Barry R. Cobb, Prakash P. Shenoy	Nonlinear Deterministic Relationships in Bayesian Networks.	ECSQARU	2005	DBLP DOI BibTeX RDF
14	Barry R. Cobb, Rafael Rumí, Antonio Salmerón	Modeling Conditional Distributions of Continuous Variables in Bayesian Networks.	IDA	2005	DBLP DOI BibTeX RDF
14	Mark van Hoeij, Jacques-Arthur Weil	Solving second order linear differential equations with Klein's theorem.	ISSAC	2005	DBLP DOI BibTeX RDF
14	Clint J. van Alten, James G. Raftery	Rule Separation and Embedding Theorems for Logics Without Weakening.	Stud Logica	2004	DBLP DOI BibTeX RDF	finite embeddability property, Lattice-R, linear logic, residuated lattice, separation theorem
14	Christoph Kreitz, Heiko Mantel	A Matrix Characterization for Multiplicative Exponential Linear Logic.	J. Autom. Reason.	2004	DBLP DOI BibTeX RDF	linear logic, automated deduction, connection method
14	Seong-ho Kang, Mitchell W. Pryor, Delbert Tesar	Kinematic Model and Metrology System for Modular Robot Calibration.	ICRA	2004	DBLP DOI BibTeX RDF
14	P. Dwight Kuo, André Leier, Wolfgang Banzhaf	Evolving Dynamics in an Artificial Regulatory Network Model.	PPSN	2004	DBLP DOI BibTeX RDF
14	Bert W. Rust	Student Exercises on Fossil Fuels, Global Warming, and Gaia.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
14	Antonino Mazzeo, Luigi Romano, Giacinto Paolo Saggese, Nicola Mazzocca	FPGA-Based Implementation of a Serial RSA Processor.	DATE	2003	DBLP DOI BibTeX RDF
14	Roy Armoni, Doron Bustan, Orna Kupferman, Moshe Y. Vardi	Resets vs. Aborts in Linear Temporal Logic.	TACAS	2003	DBLP DOI BibTeX RDF
14	Nicolai N. Vorobjov Jr.	Effective Model Completeness of the Theory of Restricted Pfaffian Functions (Invited Lecture).	CSL	2003	DBLP DOI BibTeX RDF
14	Armin Heindl, Kenneth Mitchell, Appie van de Liefvoort	The Correlation Region of Second-Order MAPs with Application to Queueing Network Decomposition.	Computer Performance Evaluation / TOOLS	2003	DBLP DOI BibTeX RDF
14	Sorin Manolache, Petru Eles, Zebo Peng	Schedulability analysis of multiprocessor real-time applications with stochastic task execution times.	ICCAD	2002	DBLP DOI BibTeX RDF
14	Arieh Iserles	On Cayley-Transform Methods for the Discretization of Lie-Group Equations.	Found. Comput. Math.	2001	DBLP DOI BibTeX RDF	AMS Classification. 65L05, 22E60
14	Todd A. Ell, Stephen J. Sangwine	Hypercomplex Fourier transforms of color images.	ICIP (1)	2001	DBLP DOI BibTeX RDF
14	Olivier Laurent 0001	A Token Machine for Full Geometry of Interaction.	TLCA	2001	DBLP DOI BibTeX RDF
14	Laurent Imbert, Jean-Michel Muller, F. Rico	A Radix-10 BKM Algorithm for Computing Transcendentals on Pocket Computers.	J. VLSI Signal Process.	2000	DBLP DOI BibTeX RDF
14	Lucas Jódar, Marco Marletta	Solving ODEs arising from non-selfadjoint Hamiltonian eigenproblems.	Adv. Comput. Math.	2000	DBLP DOI BibTeX RDF	Magnus method, uniform accuracy, trajectory shadowing, 65L, eigenvalue problem, power series
14	Daniel Richardson	The Uniformity Conjecture.	CCA	2000	DBLP DOI BibTeX RDF
14	Nuno Barreiro, Thomas Ehrhard	Quantitative Semantics Revisited.	TLCA	1999	DBLP DOI BibTeX RDF
14	Marco Gori, Franco Scarselli, Ah Chung Tsoi	On the closure of the set of functions that can be realized by a given multilayer perceptron.	IEEE Trans. Neural Networks	1998	DBLP DOI BibTeX RDF
14	Heiko Mantel, Christoph Kreitz	A Matrix Characterization for MELL.	JELIA	1998	DBLP DOI BibTeX RDF
14	Gerhard Krieger, Christoph Zetzsche	Nonlinear image operators for the evaluation of local intrinsic dimensionality.	IEEE Trans. Image Process.	1996	DBLP DOI BibTeX RDF
14	Alfredo Viola, Patricio V. Poblete	The Analysis of Linear Probing Hashing with Buckets (Extended Abstract).	ESA	1996	DBLP DOI BibTeX RDF
14	Hannes Hassler, Naofumi Takagi	Function Evaluation by Table Look-up and Addition.	IEEE Symposium on Computer Arithmetic	1995	DBLP DOI BibTeX RDF
14	Haifang Liao, Wayne Wei-Ming Dai	Capturing time-of-flight delay for transient analysis based on scattering parameter macromodel.	ICCAD	1994	DBLP DOI BibTeX RDF
14	Jamil Baddoura	A Conjecture on Integration in Finite Terms with Elementary Functions and Polylogarithms.	ISSAC	1994	DBLP DOI BibTeX RDF
14	Jean-Claude Bajard, Sylvanus Kla, Jean-Michel Muller	BKM: A new hardware algorithm for complex elementary functions.	IEEE Symposium on Computer Arithmetic	1993	DBLP DOI BibTeX RDF