• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 16,370
Next 10 →

A NEW PROOF OF SZEMERÉDI’S THEOREM

by W. T. Gowers - GAFA GEOMETRIC AND FUNCTIONAL ANALYSIS , 2001
"... ..."
Abstract - Cited by 258 (3 self) - Add to MetaCart
Abstract not found

A New Proof of an Inequality of

by Marian Dinca, J. L. Díaz-barrero
"... In this short note a new proof of a classical inequality involving the areas of a pair of triangles is presented. ..."
Abstract - Add to MetaCart
In this short note a new proof of a classical inequality involving the areas of a pair of triangles is presented.

Crime Legitimacy New proofs

by Samad Moradifar
"... Absorbing and learning proofs at searching grade is one of new trends in criminal searching trend, and it has very high importance, because the base of commitment or forgiveness of criminal in this stage and because of its importance some parts of civil laws was concerning to chasing criminal and ab ..."
Abstract - Add to MetaCart
Absorbing and learning proofs at searching grade is one of new trends in criminal searching trend, and it has very high importance, because the base of commitment or forgiveness of criminal in this stage and because of its importance some parts of civil laws was concerning to chasing criminal

Strategy-Proofness and Arrow’s Conditions: Existence and Correspondence Theorems for Voting Procedures and Social Welfare Functions

by Mark Allen Satterthwaite - J. Econ. Theory , 1975
"... Consider a committee which must select one alternative from a set of three or more alternatives. Committee members each cast a ballot which the voting procedure counts. The voting procedure is strategy-proof if it always induces every committee member to cast a ballot revealing his preference. I pro ..."
Abstract - Cited by 553 (0 self) - Add to MetaCart
Consider a committee which must select one alternative from a set of three or more alternatives. Committee members each cast a ballot which the voting procedure counts. The voting procedure is strategy-proof if it always induces every committee member to cast a ballot revealing his preference. I

Probabilistic checking of proofs: a new characterization of NP

by Sanjeev Arora, Shmuel Safra - JOURNAL OF THE ACM , 1998
"... We give a new characterization of NP: the class NP contains exactly those languages L for which membership proofs (a proof that an input x is in L) can be verified probabilistically in polynomial time using logarithmic number of random bits and by reading sublogarithmic number of bits from the proof ..."
Abstract - Cited by 414 (26 self) - Add to MetaCart
We give a new characterization of NP: the class NP contains exactly those languages L for which membership proofs (a proof that an input x is in L) can be verified probabilistically in polynomial time using logarithmic number of random bits and by reading sublogarithmic number of bits from

New results in linear filtering and prediction theory

by R. E. Kalman, R. S. Bucy - TRANS. ASME, SER. D, J. BASIC ENG , 1961
"... A nonlinear differential equation of the Riccati type is derived for the covariance matrix of the optimal filtering error. The solution of this "variance equation " completely specifies the optimal filter for either finite or infinite smoothing intervals and stationary or nonstationary sta ..."
Abstract - Cited by 607 (0 self) - Add to MetaCart
in this field. The Duality Principle relating stochastic estimation and deterministic control problems plays an important role in the proof of theoretical results. In several examples, the estimation problem and its dual are discussed side-by-side. Properties of the variance equation are of great interest

A Framework for Defining Logics

by Robert Harper , Furio Honsell, Gordon Plotkin - JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY , 1993
"... The Edinburgh Logical Framework (LF) provides a means to define (or present) logics. It is based on a general treatment of syntax, rules, and proofs by means of a typed -calculus with dependent types. Syntax is treated in a style similar to, but more general than, Martin-Lof's system of ariti ..."
Abstract - Cited by 795 (42 self) - Add to MetaCart
of arities. The treatment of rules and proofs focuses on his notion of a judgement. Logics are represented in LF via a new principle, the judgements as types principle, whereby each judgement is identified with the type of its proofs. This allows for a smooth treatment of discharge and variable occurrence

Uniform proofs as a foundation for logic programming

by Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - ANNALS OF PURE AND APPLIED LOGIC , 1991
"... A proof-theoretic characterization of logical languages that form suitable bases for Prolog-like programming languages is provided. This characterization is based on the principle that the declarative meaning of a logic program, provided by provability in a logical system, should coincide with its ..."
Abstract - Cited by 428 (122 self) - Add to MetaCart
A proof-theoretic characterization of logical languages that form suitable bases for Prolog-like programming languages is provided. This characterization is based on the principle that the declarative meaning of a logic program, provided by provability in a logical system, should coincide

A new proof of the analyticity of

by Thierry Jecko, Avenue Adolphe Chauvin
"... the electronic density of molecules. ..."
Abstract - Add to MetaCart
the electronic density of molecules.

Discriminative Training Methods for Hidden Markov Models: Theory and Experiments with Perceptron Algorithms

by Michael Collins , 2002
"... We describe new algorithms for training tagging models, as an alternative to maximum-entropy models or conditional random fields (CRFs). The algorithms rely on Viterbi decoding of training examples, combined with simple additive updates. We describe theory justifying the algorithms through a modific ..."
Abstract - Cited by 660 (13 self) - Add to MetaCart
We describe new algorithms for training tagging models, as an alternative to maximum-entropy models or conditional random fields (CRFs). The algorithms rely on Viterbi decoding of training examples, combined with simple additive updates. We describe theory justifying the algorithms through a
Next 10 →
Results 1 - 10 of 16,370
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University