Search results for "formulae"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Stephan Schulz 0001	A Comparison of Different Techniques for Grounding Near-Propositional CNF Formulae.	FLAIRS	2002	DBLP BibTeX RDF
14	K. Murugesan, D. Paul Dhayabaran, E. C. Henry Amirtharaj, David J. Evans 0001	A comparison of extended runge-kutta formulae based on variety of means to solve system of ivps.	Int. J. Comput. Math.	2001	DBLP DOI BibTeX RDF
14	Stanislav Sheynin, Alexander Tuzikov	Explicit formulae for polyhedra moments.	Pattern Recognit. Lett.	2001	DBLP DOI BibTeX RDF
14	Hana Chockler, Uri Zwick	Which bases admit non-trivial shrinkage of formulae?	Comput. Complex.	2001	DBLP DOI BibTeX RDF
14	Ljuban Dedic, Marko Matic, Josip Pecaric	On Euler trapezoid formulae.	Appl. Math. Comput.	2001	DBLP DOI BibTeX RDF
14	Raúl Monroy Borja, Alan Bundy	On the Correction of Faulty Formulae.	Computación y Sistemas	2001	DBLP BibTeX RDF
14	Michal Parnas, Dana Ron, Alex Samorodnitsky	Proclaiming Dictators and Juntas or Testing Boolean Formulae	Electron. Colloquium Comput. Complex.	2001	DBLP BibTeX RDF
14	Michele Zito 0001	An Upper Bound on the Space Complexity of Random Formulae in Resolution	Electron. Colloquium Comput. Complex.	2001	DBLP BibTeX RDF
14	Eli Ben-Sasson, Nicola Galesi	Space Complexity of Random Formulae in Resolution	Electron. Colloquium Comput. Complex.	2001	DBLP BibTeX RDF
14	Walter Gautschi	Barycentric formulae for cardinal (SINC-) interpolants by Jean-Paul Berrut.	Numerische Mathematik	2001	DBLP DOI BibTeX RDF
14	Hayriye Ayhan, Sabine Schlegel	Expansion formulae for characteristics of cumulative cost in finite horizon production models.	Eur. J. Oper. Res.	2001	DBLP DOI BibTeX RDF
14	Jorge Sánchez-Ruiz	Linearization and connection formulae involving squares of gegenbauer polynomials.	Appl. Math. Lett.	2001	DBLP DOI BibTeX RDF
14	Jesús Vigo-Aguiar, Francisco Andrés-Pérez	Backward differentiation formulae adapted to scalar linear equations.	Appl. Math. Lett.	2001	DBLP DOI BibTeX RDF
14	Borislav Bojanov, Dimitar K. Dimitrov 0001	Gaussian extended cubature formulae for polyharmonic functions.	Math. Comput.	2001	DBLP DOI BibTeX RDF
14	Sangwoo Heo, Yuan Xu	Constructing fully symmetric cubature formulae for the sphere.	Math. Comput.	2001	DBLP DOI BibTeX RDF
14	Stefan Andrei, Gheorghe Grigoras, Manfred Kudlek, Cristian Masalagiu	On the Complexity of Propositional Calculus Formulae.	Sci. Ann. Cuza Univ.	2001	DBLP BibTeX RDF
14	Carlos Alves, Habib Ammari	Boundary Integral Formulae for the Reconstruction of Imperfections of Small Diameter in an Elastic Medium.	SIAM J. Appl. Math.	2001	DBLP DOI BibTeX RDF
14	Michela Pagliacci	Explicit Formulae for Some Kazhdan-Lusztig R-Polynomials.	J. Comb. Theory, Ser. A	2001	DBLP DOI BibTeX RDF
14	Gabriel Istrate	On the Satisfiability of Random k-Horn Formulae.	Graphs, Morphisms and Statistical Physics	2001	DBLP DOI BibTeX RDF
14	James D. Z. Ma, Lei He 0001	Formulae and Applications of Interconnect Estimation Considering Shield Insertion and Net Ordering.	ICCAD	2001	DBLP DOI BibTeX RDF
14	Michal Parnas, Dana Ron, Alex Samorodnitsky	Proclaiming Dictators and Juntas or Testing Boolean Formulae.	RANDOM-APPROX	2001	DBLP DOI BibTeX RDF
14	Jeff Tupper	Reliable two-dimensional graphing methods for mathematical formulae with two free variables.	SIGGRAPH	2001	DBLP DOI BibTeX RDF	GrafEq, Tupper interval arithmetic, formula graphing, relation graphing, graphing, interval arithmetic, interval analysis, algebraic curves, implicit curves
14	Eli Ben-Sasson, Nicola Galesi	Space Complexity of Random Formulae in Resolution.	CCC	2001	DBLP DOI BibTeX RDF
14	Olivier Dubois 0002, Gilles Dequen	A backbone-search heuristic for efficient solving of hard 3-SAT formulae.	IJCAI	2001	DBLP BibTeX RDF
14	Thierry Coquand, Sara Sadocco, Giovanni Sambin, Jan M. Smith	Formal Topologies on The Set of First-Order Formulae.	J. Symb. Log.	2000	DBLP DOI BibTeX RDF
14	Sangwoo Heo, Yuan Xu	Invariant Cubature Formulae for Spheres and Balls by Combinatorial Methods.	SIAM J. Numer. Anal.	2000	DBLP DOI BibTeX RDF
14	Xinyuan Wu, Hongwei Wu	On a class of quadratic convergence iteration formulae without derivatives.	Appl. Math. Comput.	2000	DBLP DOI BibTeX RDF
14	Yuan Xu 0005	Constructing cubature formulae by the method of reproducing kernel.	Numerische Mathematik	2000	DBLP DOI BibTeX RDF
14	Gabriel Istrate	Dimension-Dependent behavior in the satisfability of random k-Horn formulae	CoRR	2000	DBLP BibTeX RDF
14	Walter Gautschi	High-order Gauss-Lobatto formulae.	Numer. Algorithms	2000	DBLP DOI BibTeX RDF
14	David Hunter, Geno P. Nikolov	On the error term of symmetric Gauss-Lobatto quadrature formulae for analytic functions.	Math. Comput.	2000	DBLP DOI BibTeX RDF
14	Michael D. Hirschhorn	Some formulae for partitions into squares.	Discret. Math.	2000	DBLP DOI BibTeX RDF
14	Luca Aceto, Anna Ingólfsdóttir, Mikkel Lykke Pedersen, Jan Poulsen	Characteristic formulae for timed automata.	RAIRO Theor. Informatics Appl.	2000	DBLP DOI BibTeX RDF
14	Fabio Somenzi, Roderick Bloem	Efficient Büchi Automata from LTL Formulae.	CAV	2000	DBLP DOI BibTeX RDF
14	Olivier Dubois 0002, Yacine Boufkhad, Jacques Mandler	Typical random 3-SAT formulae and the satisfiability threshold.	SODA	2000	DBLP BibTeX RDF
14	Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt	Hyperresolution for Guarded Formulae.	ARW	2000	DBLP BibTeX RDF
14	Tao Song, M. Ronnier Luo	Testing Color-Difference Formulae on Complex Images Using a CRT Monitor.	CIC	2000	DBLP DOI BibTeX RDF
14	Guangdi Hu, Edward J. Davison	Formulae for computation of real stability radii for linear differential difference equations of retarded type.	ACC	2000	DBLP DOI BibTeX RDF
14	Setsuo Ohsuga	The Gap between Symbol and Non-symbol Processing - An Attempt to Represent a Database by Predicate Formulae.	PRICAI	2000	DBLP DOI BibTeX RDF
14	Uwe Egly, Thomas Eiter, Hans Tompits, Stefan Woltran	Implementing Default Reasoning Using Quantified Boolean Formulae.	WLP	2000	DBLP BibTeX RDF
14	Rainer Feldmann, Burkhard Monien, Stefan Schamberger	A Distributed Algorithm to Evaluate Quantified Boolean Formulae.	AAAI/IAAI	2000	DBLP BibTeX RDF
14	Stéphane Lavirotte	Reconnaissance Structurelle de Formules Mathématiques Typographiées et Manuscrites. (Structural Recognition of printed and handwritten mathematical formulae).		2000	RDF
14	Carsten Damm	On the Complexity of Tensor Formulae	Universität Trier, Mathematik/Informatik, Forschungsbericht	1999	RDF
14	Naoya Katoh, Masahiko Ito, Shin Ohno	Three-dimensional gamut mapping using various color difference formulae and color spaces.	J. Electronic Imaging	1999	DBLP DOI BibTeX RDF
14	Ahmed I. Zayed, Antonio G. García 0001	New sampling formulae for the fractional Fourier transform.	Signal Process.	1999	DBLP DOI BibTeX RDF
14	Paul E. Dunne, Paul H. Leng	The Average Case Performance of an Algorithm for Demand-Driven Evaluation of Boolean Formulae.	J. Univers. Comput. Sci.	1999	DBLP DOI BibTeX RDF
14	Yacine Boufkhad, Olivier Dubois 0002	Length of Prime Implicants and Number of Solutions of Random CNF Formulae.	Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
14	Gert Almkvist, Andrew Granville	Borwein and Bradley's Apérv-Like Formulae for ζ(4n + 3).	Exp. Math.	1999	DBLP DOI BibTeX RDF
14	Amir Shpilka, Avi Wigderson	Depth-3 Arithmetic Formulae over Fields of Characteristic Zero	Electron. Colloquium Comput. Complex.	1999	DBLP BibTeX RDF
14	Stéphane Demri, Ewa Orlowska	Every Finitely Reducible Logic has the Finite Model Property with Respect to the Class of [diams]-Formulae.	Stud Logica	1999	DBLP DOI BibTeX RDF
14	Hans van Maaren	Elliptic Approximations of Propositional Formulae.	Discret. Appl. Math.	1999	DBLP DOI BibTeX RDF
14	Abdelkrim Ezzirani, Allal Guessab	A fast algorithm for Gaussian type quadrature formulae with mixed boundary conditions and some lumped mass spectral approximations.	Math. Comput.	1999	DBLP DOI BibTeX RDF
14	Dilian Gurov, Bruce M. Kapron	A note on negative tagging for least fixed-point formulae.	RAIRO Theor. Informatics Appl.	1999	DBLP DOI BibTeX RDF
14	Masahiko Ito, Naoya Katoh	Three-dimensional gamut mapping using various color difference formulae and color spaces.	Color Imaging: Device-Independent Color, Color Hardcopy, and Graphic Arts	1999	DBLP DOI BibTeX RDF
14	Ian Horrocks 0001, Peter F. Patel-Schneider	Performance of DLP on Random Modal Formulae.	Description Logics	1999	DBLP BibTeX RDF
14	Jussi Rintanen	Improvements to the Evaluation of Quantified Boolean Formulae.	IJCAI	1999	DBLP BibTeX RDF
14	Giovanna Di Marzo Serugendo	Stepwise Refinement of Formal Specifications Based on Logical Formulae: from COOPN/2 Specifications to Java Programs. Swiss Federal Institute of Technology, EPFL, Lausanne.		1999	RDF
14	Cornelis A. Middelburg	Truth of Duration Calculus Formulae in Timed Frames.	Fundam. Informaticae	1998	DBLP DOI BibTeX RDF
14	Markus Müller-Olm	Derivation of Characteristic Formulae.	MFCS Workshop on Concurrency	1998	DBLP DOI BibTeX RDF
14	Raúl Gormaz	A class of multivariate de Boor-Fix formulae.	Comput. Aided Geom. Des.	1998	DBLP DOI BibTeX RDF
14	Jan Johannsen	A Model Theoretic Property of Sharply Bounded Formulae, with some Applications.	Math. Log. Q.	1998	DBLP DOI BibTeX RDF
14	Ratnesh Kumar 0001, Mark A. Shayman	Formulae relating controllability, observability, and co-observability.	Autom.	1998	DBLP DOI BibTeX RDF
14	Steffen Reith, Heribert Vollmer	The Complexity of Computing Optimal Assignments of Generalized Propositional Formulae	Electron. Colloquium Comput. Complex.	1998	DBLP BibTeX RDF
14	Steffen Reith, Heribert Vollmer	The Complexity of Computing Optimal Assignments of Generalized Propositional Formulae	CoRR	1998	DBLP BibTeX RDF
14	Igor Strokov	One More Macropackage for Typesetting Structural Formulae with LaTeX.	Comput. Chem.	1998	DBLP DOI BibTeX RDF
14	Andrew E. Yagle	Phase retrieval from Fourier magnitude and several initial time samples using Newton's formulae.	IEEE Trans. Signal Process.	1998	DBLP DOI BibTeX RDF
14	Riadh Ben Ghanem	Quadrature formulae using zeros of Bessel functions as nodes.	Math. Comput.	1998	DBLP DOI BibTeX RDF
14	Paolo Bottoni, Francesco Parisi-Presicce, Marta Simeoni	From Formulae to Rewriting Systems.	TAGT	1998	DBLP DOI BibTeX RDF
14	Marco Cadoli, Andrea Giovanardi, Marco Schaerf	An Algorithm to Evaluate Quantified Boolean Formulae.	AAAI/IAAI	1998	DBLP BibTeX RDF
14	Fabio Massacci	Cook and Reckhow are Wrong: Subexponential Tableaux Proofs for Their Family of Formulae.	ECAI	1998	DBLP BibTeX RDF
14	Bernhard Beckert, Ulrike Hartmer	A Tableau Calculus for Quantifier-Free Set Theoretic Formulae.	TABLEAUX	1998	DBLP DOI BibTeX RDF
14	Jonathan M. Borwein, David M. Bradley	Empirically Determined Apéry-Like Formulae for ζ(4n+3).	Exp. Math.	1997	DBLP DOI BibTeX RDF
14	Yves Crama, Oya Ekin, Peter L. Hammer	Variable and Term Removal From Boolean Formulae.	Discret. Appl. Math.	1997	DBLP DOI BibTeX RDF
14	Musheng Wei	Equivalent formulae for the supremum and stability of weighted pseudoinverses.	Math. Comput.	1997	DBLP DOI BibTeX RDF
14	Matthew Sydes, James Hartley	A Thorn in the Flesch: Observations on the Unreliability of Computer-Based Readability Formulae.	Br. J. Educ. Technol.	1997	DBLP DOI BibTeX RDF
14	Hajime Yoshino 0001	On the Logical Foundations of Compound Predicate Formulae for Legal Knowledge Representation.	Artif. Intell. Law	1997	DBLP DOI BibTeX RDF
14	Andreas Dolzmann, Thomas Sturm 0001	Simplification of Quantifier-Free Formulae over Ordered Fields.	J. Symb. Comput.	1997	DBLP DOI BibTeX RDF
14	Laureano González-Vega	Implicitization of Parametric Curves and Surfaces by Using Multidimensional Newton Formulae.	J. Symb. Comput.	1997	DBLP DOI BibTeX RDF
14	O. Dubios, Yacine Boufkhad	A General Upper Bound for the Satisfiability Threshold of Random r-SAT Formulae.	J. Algorithms	1997	DBLP DOI BibTeX RDF
14	Hartmut Klauck	On the Size of Probabilistic Formulae.	ISAAC	1997	DBLP DOI BibTeX RDF
14	Giorgio Ausiello, Paolo Giulio Franciosa, Daniele Frigioni, Roberto Giaccio	Decremental Maintenance of Reachability in Hypergraphs and Minimum Models of Horn Formulae.	ISAAC	1997	DBLP DOI BibTeX RDF
14	Laurent Wendling, Jacky Desachy	Isomorphism between Strong Fuzzy Relational Graphs Based on k-Formulae.	GbRPR	1997	DBLP DOI BibTeX RDF
14	John Hershberger 0001, Jack Snoeyink	Cartographic Line Simplification and Polygon CSG Formulae and in O(n log* n) Time.	WADS	1997	DBLP DOI BibTeX RDF
14	Nicolas Peltier	Simplifying and Generalizing Formulae in Tableaux. Pruning the Search Space and Building Models.	TABLEAUX	1997	DBLP DOI BibTeX RDF
14	Vladimir A. Zakharov	Verification of PLTL Formulae by Means of Monotone Disjunctive Normal Forms.	LFCS	1997	DBLP DOI BibTeX RDF
14	Jan Goossenaerts	Proxy Possible Flow Semantics for Enterprise Formulae and Artefact Possible Lives Models.	ICEIMT	1997	DBLP DOI BibTeX RDF
14	Marco Cadoli, Andrea Giovanardi, Marco Schaerf	Experimental Analysis of the Computational Cost of Evaluating Quantified Boolean Formulae.	AI*IA	1997	DBLP DOI BibTeX RDF
14	Laurent Wendling, Jacky Desachy	Pattern Recognition of Strong Graphs Based on Possibilistic c-means and k-formulae Matching.	Fuzzy Logic in Artificial Intelligence (IJCAI Workshop)	1997	DBLP DOI BibTeX RDF
14	Janis Barzdins, Rusins Freivalds, Carl H. Smith	Learning Formulae from Elementary Facts.	EuroCOLT	1997	DBLP DOI BibTeX RDF
14	Nam Seog Park	A connectionist representation of first-order formulae with dynamic variable binding.		1997	RDF
14	Gamal A. Fouad Ismail	One derivative p-c formulae with minimum error bounds.	Int. J. Comput. Math.	1996	DBLP DOI BibTeX RDF
14	Ross T. Brady	Simple Gentzenizations for the Normal Formulae of Contraction-Less Logics.	J. Symb. Log.	1996	DBLP DOI BibTeX RDF
14	Jonathan M. Borwein, David M. Bradley	Searching symbolically for Ape'ry-like formulae for values of the Riemann zeta function.	SIGSAM Bull.	1996	DBLP DOI BibTeX RDF
14	James P. Delgrande, Arvind Gupta	The Complexity of Minimum Partial Truth Assignments and Implication in Negation-Free Formulae.	Ann. Math. Artif. Intell.	1996	DBLP DOI BibTeX RDF
14	Manfred Kerber, Axel Präcklein	Using Tactics to Reformulate Formulae for Resolution Theorem Proving.	Ann. Math. Artif. Intell.	1996	DBLP DOI BibTeX RDF
14	R. Bruce Kellogg	CRC Standard Mathematical Tables and Formulae (Daniel Zwillinger, ed.).	SIAM Rev.	1996	DBLP DOI BibTeX RDF
14	Eyal Kushilevitz, Dan Roth	On Learning Visual Concepts and DNF Formulae.	Mach. Learn.	1996	DBLP DOI BibTeX RDF
14	Andrew E. Yagle	Analytical formulae for reconstruction of certain discrete signals from phase level and line crossings.	IEEE Trans. Signal Process.	1996	DBLP DOI BibTeX RDF
14	Ronald Cools, Ian H. Sloan	Minimal cubature formulae of trigonometric degree.	Math. Comput.	1996	DBLP DOI BibTeX RDF
14	Walter Gautschi, Sotirios E. Notaris	Stieltjes polynomials and related quadrature formulae for a class of weight functions.	Math. Comput.	1996	DBLP DOI BibTeX RDF