Search results for "theorems"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
59	Nir Halman	Discrete and Lexicographic Helly-Type Theorems.	Discret. Comput. Geom.	2008	DBLP DOI BibTeX RDF	Helly theorems, Discrete geometry
55	Nir Halman	On the Power of Discrete and of Lexicographic Helly-Type Theorems.	FOCS	2004	DBLP DOI BibTeX RDF
52	Patricia Johann, Janis Voigtländer	Free theorems in the presence of seq.	POPL	2004	DBLP DOI BibTeX RDF	controlling strict evaluation, short cut fusion, theorems for free, program transformations, Haskell, denotational semantics, parametricity, correctness proofs, logical relations
45	Rajiv Bagai, Vasant Shanbhogue, Jan M. Zytkow, Shang-Ching Chou	Automatic Theorem Generation in Plane Geometry.	ISMIS	1993	DBLP DOI BibTeX RDF
42	Till Tantau	Weak Cardinality Theorems for First-Order Logic.	FCT	2003	DBLP DOI BibTeX RDF
42	Christian Glaßer, Stephen D. Travers	Machines that Can Output Empty Words.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Leaf languages, Gap theorems, Computational complexity, Polynomial-time hierarchy
42	John Case, Samuel E. Moelius	Program Self-reference in Constructive Scott Subdomains.	CiE	2009	DBLP DOI BibTeX RDF	Scott domains, self-reproducing programs, self-reference, recursion theorems, numberings
42	Volker Sorge, Andreas Meier 0002, Roy L. McCasland, Simon Colton	Automatic Construction and Verification of Isotopy Invariants.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Automated mathematics, Classification theorems, Computer algebra, Automated theorem proving, Model generation, SAT solving, Invariant generation, Isotopy
40	Bing Deng, Ran Tao 0003, Yue Wang 0001	Convolution theorems for the linear canonical transform and their applications.	Sci. China Ser. F Inf. Sci.	2006	DBLP DOI BibTeX RDF	linear canonical transform, convolution theorems, multiplicative filter, sampling
40	Tsuyoshi Murata	Roles of Diagrammatic Information for the Discovery of Geometrical Theorems.	Diagrams	2004	DBLP DOI BibTeX RDF	Automated scientific discovery, discovery systems, geometrical theorems, diagrammatic reasoning
40	Jose C. Ciria, Eladio Domínguez, Angel R. Francés	Separation Theorems for Simplicity 26-Surfaces.	DGCI	2002	DBLP DOI BibTeX RDF	simplicity 26-surface, digital separation theorems, Digital surface
40	Vo V. Anh, Ji Yu Shi, Hung-Tat Tsui	Scaling Theorems for Zero Crossings of Bandlimited Signals.	IEEE Trans. Pattern Anal. Mach. Intell.	1996	DBLP DOI BibTeX RDF	Scaling theorems, signal descriptions, bandlimited signals, Whittaker-Shannon sampling theorem, scale space, multiscale analysis, zero crossings, quadratic forms, Gaussian kernels
39	Troy Lee, Adi Shraibman, Robert Spalek	A Direct Product Theorem for Discrepancy.	CCC	2008	DBLP DOI BibTeX RDF	direct sum theorems, factorization norms, communication complexity, discrepancy, direct product theorems
39	Hua-Huai Chern, Michael Fuchs 0001, Hsien-Kuei Hwang	Phase changes in random point quadtrees.	ACM Trans. Algorithms	2007	DBLP DOI BibTeX RDF	Asymptotic transfer, analysis in distribution of algorithms, grid trees, local limit theorems, page usage, total path length, quadtrees, differential equations, phase transitions, depth, central limit theorems, Mellin transforms
38	Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford	Providing a formal linkage between MDG and HOL.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Verification system correctness, Hybrid verification systems, Formal hardware verification, Usability verification
38	Einar Broch Johnsen, Christoph Lüth	Theorem Reuse by Proof Term Transformation.	TPHOLs	2004	DBLP DOI BibTeX RDF
36	Troy Lee, Rajat Mittal 0001	Product Theorems Via Semidefinite Programming.	ICALP (1)	2008	DBLP DOI BibTeX RDF
36	Balder ten Cate, Johan van Benthem, Jouko A. Väänänen	Lindstrom theorems for fragments of first-order logic.	LICS	2007	DBLP DOI BibTeX RDF
36	Nicholas Freitag McPhee, Shang-Ching Chou, Xiao-Shan Gao	Mechanically Proving Geometry Theorems Using a Combination of Wu's Method and Collins' Method.	CADE	1994	DBLP DOI BibTeX RDF
36	James R. Slagle	Interpolation Theorems for Resolution in Lower Predicate Calculus.	J. ACM	1970	DBLP DOI BibTeX RDF
36	Georg Moser, Richard Zach	The Epsilon Calculus and Herbrand Complexity.	Stud Logica	2006	DBLP DOI BibTeX RDF	Hilbert's ?-calculus, epsilon theorems, Herbrand's theorem, proof complexity
33	Jorge L. Arocha, Imre Bárány, Javier Bracho, Ruy Fabila Monroy, Luis Montejano 0001	Very Colorful Theorems.	Discret. Comput. Geom.	2009	DBLP DOI BibTeX RDF	Colorful versions, Theorems of Helly, Carathéodory, Kirchberger, Tverberg and Hadwiger, Convex sets
33	Amir Reza Razavi, Alexandros Marinos, Sotiris Moschoyiannis, Paul J. Krause	RESTful Transactions Supported by the Isolation Theorems.	ICWE	2009	DBLP DOI BibTeX RDF	Isolation Theorems, Transactions, Locking, REST
33	Benjamin Rossman	Homomorphism preservation theorems.	J. ACM	2008	DBLP DOI BibTeX RDF	preservation theorems, quantifier-rank, tree-depth, first-order logic, conjunctive queries, homomorphisms, Finite model theory
33	Janis Voigtländer	Proving correctness via free theorems: the case of the destroy/build-rule.	PEPM	2008	DBLP DOI BibTeX RDF	intermediate data structures, rank-2 types, shortcut deforestation, theorems for free, program transformations, correctness proofs, relational parametricity
33	Andris Ambainis, Robert Spalek, Ronald de Wolf	A new quantum lower bound method, : with applications to direct product theorems and time-space tradeoffs.	STOC	2006	DBLP DOI BibTeX RDF	lower bounds, quantum computing, time-space tradeoffs, direct product theorems
33	Vinod Sharma	Some limit theorems for regenerative queues.	Queueing Syst. Theory Appl.	1998	DBLP DOI BibTeX RDF	regenerative queues, functional limit theorems, continuity, rates of convergence
33	Vinod Sharma	Open queueing networks in discrete time-some limit theorems.	Queueing Syst. Theory Appl.	1993	DBLP DOI BibTeX RDF	nonproduct form networks, stochastic continuity, functional limit theorems, stability, Queueing networks
33	Lide Wu, Zhaohui Xie	Scaling Theorems for Zero-Crossings.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	scaling theorems, smoothness conditions, pattern recognition, pattern recognition, polynomials, zero-crossings, polynomial functions
33	Aravind Srinivasan, Chung-Piaw Teo	A Constant-Factor Approximation Algorithm for Packet Routing, and Balancing Local vs. Global Criteria.	STOC	1997	DBLP DOI BibTeX RDF	covering integer programs, discrete ham-sandwich theorems, rounding theorems, approximation algorithms, linear programming, randomized algorithms, packet routing, randomized rounding
33	Ward Whitt	A review of L=lambda W and extensions.	Queueing Syst. Theory Appl.	1991	DBLP DOI BibTeX RDF	L=W, Little's law, time averages and customer averages, sample-path methods, stationary marked point processes, H=G, the inversion formula, Campbell's formula, central limit, indirect estimation, conservation laws, conservation law, rate, limit theorems, level crossings, theorems
33	Dimiter Vakarelov	Modal Logics for Knowledge Representation Systems.	Logic at Botik	1989	DBLP DOI BibTeX RDF	knowledge representation systems, logics for knowledge representation, completeness theorems, filtration theorems, modal logics
33	James R. Driscoll, Dennis M. Healy Jr.	Asymptotically Fast Algorithms for Spherical and Related Transforms	FOCS	1989	DBLP DOI BibTeX RDF	sampling theorems, spherical transform, convolution theorems, convolution
32	Norihiro Kamide	Proof Systems Combining Classical and Paraconsistent Negations.	Stud Logica	2009	DBLP DOI BibTeX RDF	Paraconsistent negation, completeness, sequent calculus, cut-elimination
32	Joseph P. Near, William E. Byrd, Daniel P. Friedman	alpha-leanTAP: A Declarative Theorem Prover for First-Order Classical Logic.	ICLP	2008	DBLP DOI BibTeX RDF
32	Immanuel Normann	Enhanced Theorem Reuse by Partial Theory Inclusions.	AISC	2006	DBLP DOI BibTeX RDF
32	Kamal Aboul-Hosn, Terese Andersen	A Proof-Theoretic Approach to Hierarchical Math Library Organization.	MKM	2005	DBLP DOI BibTeX RDF
32	Peter Grünwald	Strong Entropy Concentration, Game Theory, and Algorithmic Randomness.	COLT/EuroCOLT	2001	DBLP DOI BibTeX RDF
32	Marc J. Lipman, Robert L. Sedlmeyer	Knowledge and reasoning in graph theory research (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
30	Ralf Küsters, Max Tuengerthal	Joint State Theorems for Public-Key Encryption and Digital Signature Functionalities with Local Computation.	CSF	2008	DBLP DOI BibTeX RDF	simulation-based security, joint state, secure composition, cryptographic protocols
30	Wu-Hua Chen, Wei Xing Zheng 0001	Razumikhin-type theorems for ISS of nonlinear delayed impulsive systems.	CDC	2008	DBLP DOI BibTeX RDF
30	Martin Grohe	Algorithmic Meta Theorems.	WG	2008	DBLP DOI BibTeX RDF
30	Gilles Brassard, André Allan Méthot	Strict Hierarchy of Bell Theorems.	ICQNM	2008	DBLP DOI BibTeX RDF	Bell theorem, Bell theorem without inequalities, Pseudo-telepathy, Entanglement
30	Amjad Gawanmeh, Sofiène Tahar	Rank Theorems for Forward Secrecy in Group Key Management Protocols.	AINA Workshops (1)	2007	DBLP DOI BibTeX RDF
30	Gunther Schmidt 0001	Homomorphism and Isomorphism Theorems Generalized from a Relational Perspective.	RelMiCS	2006	DBLP DOI BibTeX RDF	homomorphism theorem, isomorphism theorem, multi-covering, relation algebra, congruence
30	Daniel Liberzon, Dragan Nesic	Stability Analysis of Hybrid Systems Via Small-Gain Theorems.	HSCC	2006	DBLP DOI BibTeX RDF
30	Johnson I. Agbinya	QoS Functions and Theorems for Moving Wireless Networks.	ICITA (2)	2005	DBLP DOI BibTeX RDF
30	Takahito Aoto 0001, Toshiyuki Yamada, Yoshihito Toyama	Inductive Theorems for Higher-Order Rewriting.	RTA	2004	DBLP DOI BibTeX RDF
30	Dongming Wang 0001	GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically.	Automated Deduction in Geometry	2002	DBLP DOI BibTeX RDF
30	M. Enamul Amyeen, Irith Pomeranz, W. Kent Fuchs	Theorems for Efficient Identification of Indistinguishable Fault Pairs in Synchronous Sequential Circuits.	VTS	2002	DBLP DOI BibTeX RDF
30	Shih-Chieh Chang, Zhong-Zhen Wu	Theorems and extensions of single wire replacement.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2001	DBLP DOI BibTeX RDF
29	Jens Knoop	From DFA-Frameworks to DFA-Generators: A Unifying Multiparadigm Approach.	TACAS	1999	DBLP DOI BibTeX RDF	data-flow analysis (DFA), DFA-frameworks, DFA-generators, coincidence theorems, intraprocedural, conditional DFA, parallel, object-oriented, abstract interpretation, Program optimization, interprocedural
27	Franco Giannessi	Theorems of the Alternative and Optimization.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Theorem of the alternative, Transposition theorem, Lagrange function, Dual problem, Lagrange multipliers, Image space, Separation theorems, Dual space
27	David Duris	Hypergraph Acyclicity and Extension Preservation Theorems.	LICS	2008	DBLP DOI BibTeX RDF	hypergraph acyclicity, preservation theorems, logic, finite model theory
27	Julien Demouth, Olivier Devillers, Marc Glisse, Xavier Goaoc	Helly-type theorems for approximate covering.	SCG	2008	DBLP DOI BibTeX RDF	3d visibility, approximate covering, helly-type theorems, lp-type problems
27	Peerapol Tinnakornsrisuphap, Armand M. Makowski	On the behavior of ECN/RED gateways under a large number of TCP flows: Limit theorems.	Queueing Syst. Theory Appl.	2006	DBLP DOI BibTeX RDF	CLT correction, RED AQM mechanism, TCP congestion-control, Limit theorems
25	Ruben A. Gamboa	A Formalization of Powerlist Algebra in ACL2.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	Powerlists, Verification, ACL2
25	Ashok Patel, Bart Kosko	Stochastic Resonance in Continuous and Spiking Neuron Models With Levy Noise.	IEEE Trans. Neural Networks	2008	DBLP DOI BibTeX RDF
25	Xiangyi Meng, Ran Tao 0003, Yue Wang 0001	Fractional Fourier domain analysis of decimation and interpolation.	Sci. China Ser. F Inf. Sci.	2007	DBLP DOI BibTeX RDF	sampling rate conversion, the digital frequency in the fractional Fourier domain, interpolation, decimation, fractional Fourier transform
25	Christian Glaßer, Stephen D. Travers	Machines that Can Output Empty Words.	MFCS	2006	DBLP DOI BibTeX RDF
25	E. A. Grebenicov, Dorota Kozak-Skoworodkin, M. Jakubiak	Investigation of the Stability Problem for the Critical Cases of the Newtonian Many-Body Problem.	CASC	2005	DBLP DOI BibTeX RDF
25	Simon Colton	The HR Program for Theorem Generation.	CADE	2002	DBLP DOI BibTeX RDF
25	Jean-Raymond Abrial, Dominique Cansell, Guy Laffitte	"Higher-Order" Mathematics in B.	ZB	2002	DBLP DOI BibTeX RDF
25	Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford	Formally Linking MDG and HOL Based on a Verified MDG System.	IFM	2002	DBLP DOI BibTeX RDF	hybrid verification systems, deductive theorem proving, symbolic state enumeration, usability verification, hardware verification
25	Leonid Libkin	Logics capturing local properties.	ACM Trans. Comput. Log.	2001	DBLP DOI BibTeX RDF	locality, logic, counting
25	Leonid Libkin	Logics Capturing Local Properties.	STACS	2000	DBLP DOI BibTeX RDF
25	Larry M. Hines	Str+ve and Integers.	CADE	1994	DBLP DOI BibTeX RDF
25	Scott F. Smith 0001	From Operational to Denotational Semantics.	MFPS	1991	DBLP DOI BibTeX RDF
25	Yi Lu, Ramesh C. Jain	Behavior of Edges in Scale Space.	IEEE Trans. Pattern Anal. Mach. Intell.	1989	DBLP DOI BibTeX RDF	edge behaviour, edge recovery, Laplacian or Gaussian operator, corollaries, artificial intelligence, picture processing, computerised picture processing, computerised pattern recognition, computerised pattern recognition, reasoning, scale space, assertions, complex images
23	G. Casinovi	Sampling and Ergodic Theorems for Weakly Almost Periodic Signals.	IEEE Trans. Inf. Theory	2009	DBLP DOI BibTeX RDF
23	Janis Voigtländer	Free theorems involving type constructor classes: functional pearl.	ICFP	2009	DBLP DOI BibTeX RDF	relational parametricity
23	Gianni Bosi, Gerhard Herden	Continuous Utility Representation Theorems in Arbitrary Concrete Categories.	Appl. Categorical Struct.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 18AXX, 06A05, 54F05, 91B16
23	Vyacheslav M. Abramov	Continuity theorems for the M / M /1/ n queueing system.	Queueing Syst. Theory Appl.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 60K25, 60B05, 62E17, 60E15
23	Hiroki Koga	Coding Theorems on the Threshold Scheme for a General Source.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
23	Lai-Jiu Lin 0001, Song Yu Wang, Chih-Sheng Chuang	Existence theorems of systems of variational inclusion problems with applications.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	Upper semicontinuous (lower semicontinuous) multivalued map, Systems of variational inclusions problem, Bilevel problem, Ideal minimal point, Efficient point
23	Lai-Jiu Lin 0001, Wei-Shih Du	Systems of equilibrium problems with applications to new variants of Ekeland's variational principle, fixed point theorems and parametric optimization problems.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	?-function, Quasi-distance, Ekeland’s variational principle, Flower petal theorem, Maximal element theorem, Minimax theorem, Minimization theorem, Semi-infinite problem, Generalized Schauder’s fixed point theorem, Equilibrium problem
23	Stephan Kreutzer	Algorithmic Meta-theorems.	IWPEC	2008	DBLP DOI BibTeX RDF
23	Spyros Galanis	Theorems and unawareness.	TARK	2007	DBLP DOI BibTeX RDF
23	G. Efthivoulidis	Linear switched-capacitor circuit theorems.	ISCAS	2006	DBLP DOI BibTeX RDF
23	Björn Vormbrock, Rudolf Wille	Semiconcept and Protoconcept Algebras: The Basic Theorems.	Formal Concept Analysis	2005	DBLP DOI BibTeX RDF
23	Kazuo Murota, Akihisa Tamura	Proximity theorems of discrete convex functions.	Math. Program.	2004	DBLP DOI BibTeX RDF	discrete convex analysis, proximity properties, optimality criteria
23	XueFeng Chen, Peng Li, Long Lin, DingKang Wang	Proving Geometric Theorems by Partitioned-Parametric Gröbner Bases.	Automated Deduction in Geometry	2004	DBLP DOI BibTeX RDF
23	Michael Toftdal	A Calibration of Ineffective Theorems of Analysis in a Hierarchy of Semi-classical Logical Principles: (Extended Abstract).	ICALP	2004	DBLP DOI BibTeX RDF
23	Simon Colton, Andreas Meier 0002, Volker Sorge, Roy L. McCasland	Automatic Generation of Classification Theorems for Finite Algebras.	IJCAR	2004	DBLP DOI BibTeX RDF
23	Ren-Cang Li, Sylvie Boldo, Marc Daumas	Theorems on Efficient Argument Reductions.	IEEE Symposium on Computer Arithmetic	2003	DBLP DOI BibTeX RDF
23	Eyal Amir	Interpolation Theorems for Nonmonotonic Reasoning Systems.	JELIA	2002	DBLP DOI BibTeX RDF
23	Salvador Roura	Improved master theorems for divide-and-conquer recurrences.	J. ACM	2001	DBLP DOI BibTeX RDF	master theorem, divide-and-conquer, asymptotic analysis
23	Vladimir M. Chernov	Diophantine Approximations of Algebraic Irrationalities and Stability Theorems for Polynomial Decision Rules.	CAIP	2001	DBLP DOI BibTeX RDF	decision rules, Diophantine approximations
23	Péter L. Erdös, Ákos Seress, László A. Székely	Erdös-Ko-Rado and Hilton-Milner Type Theorems for Intersecting Chains in Posets.	Comb.	2000	DBLP DOI BibTeX RDF	AMS Subject Classification (1991) Classes: 05D05, 06A06
23	David A. McAllester	Meta-complexity Theorems: Talk Abstract.	CP	2000	DBLP DOI BibTeX RDF
23	Zhiqing Shao, Yongqiang Sun, Guoxin Song, Huiqun Yu	Proving Inductive Theorems Using Witnessed Test Sets.	ICFEM	1998	DBLP DOI BibTeX RDF
23	Stéphane Fèvre, Dongming Wang 0001	Proving Geometric Theorems Using Clifford Algebra and Rewrite Rules.	CADE	1998	DBLP DOI BibTeX RDF
23	Vishwani D. Agrawal, Srimat T. Chakradhar	Combinational ATPG theorems for identifying untestable faults in sequential circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1995	DBLP DOI BibTeX RDF
23	Lance Fortnow	My Favorite Ten Complexity Theorems of the Past Decade.	FSTTCS	1994	DBLP DOI BibTeX RDF
23	David Lorge Parnas	Some Theorems We Should Prove.	HUG	1993	DBLP DOI BibTeX RDF
23	John M. Rushby, Mandayam K. Srivas	Using PVS to Prove Some Theorems Of David Parnas.	HUG	1993	DBLP DOI BibTeX RDF
23	Nina Amenta	Helly Theorems and Generalized Linear Programming.	SCG	1993	DBLP DOI BibTeX RDF
23	Geoffrey D. Alexander, David A. Plaisted	Proving Equality Theorems with Hyper-Linking.	CADE	1992	DBLP DOI BibTeX RDF
23	Jürgen Avenhaus	Proving Equational and Inductive Theorems by Completion and Embedding Techniques.	RTA	1991	DBLP DOI BibTeX RDF
23	Janis Voigtländer	Bidirectionalization for free! (Pearl).	POPL	2009	DBLP DOI BibTeX RDF	bidirectionalization, free theorems, program transformation, haskell, generic programming, relational parametricity, view-update problem