Linear logic developed by J.-Y. Girard [3] is expected to be applied for various elds in computer science. Linear logic is called \resource-conscious" because consumed hypotheses can never be used again. Therefore, a resource can be represented as a formula in linear logic rather than represented as a term. There have been several proposals for logic programming language based on linear logic: ...

In this paper, we prove that the linear transformation yi = i ∑ j=0 ( m+ i n+ j ) xj , i = 0, 1, 2, . . . preserves the log-concavity property. © 2002 Elsevier Science Inc. All rights reserved.

We compare two successful discriminative classification algorithms on three databases from the UCI and STATLOG repositories. The two approaches are the log-linear model for the class posterior probabilities and class-dependent weighted dissimilarity measures for nearest neighbor classifiers. The experiments show that the maximum entropy based log-linear classifier performs better for the equiva...

Several authors have previously discussed the use of log-linear models, often called maximum entropy models, for analyzing spike train data to detect synchrony. The usual log-linear modeling techniques, however, do not allow time-varying firing rates that typically appear in stimulus-driven (or action-driven) neurons, nor do they incorporate non-Poisson history effects or covariate effects. We ...

Hierarchical phrase-based models are attractive because they provide a consistent framework within which to characterize both local and long-distance reorderings, but they also make it dif cult to distinguish many implausible reorderings from those that are linguistically plausible. Rather than appealing to annotationdriven syntactic modeling, we address this problem by observing the in uential...

Relevance: The achievement of complex goals facing medical organizations is determined mainly by the ability to solve problems
 considering available and expected resources. Project Management Office (PMO) a business tool that effectively supports achieving
 goals. availability reliable information on incidence, therapeutic solutions, treatment outcomes, survival patients with
 o...

Farclla Braan & Martel LLP S . Francisco Douglas R . Young (State Bar No . 073248), dyoung@fbm .com C. Brandon Wisoff (State Bar No . 121930), [email protected] James C . Mann (State Bar No . 221603) [email protected] Farella Braun + Martel LLP 235 Montgomery Street, 17th Floor San Francisco, CA 94104 Telephone: (415) 954-4400 Facsimile: (415) 954-4480 Attorneys for Defendant SHARLENE ABRAMS UNITED S...

Stephen B. Judlowe, Morgan Lewis & Bockius LLP, of New York, New York, argued for plaintiff-appellant. With him on the brief were Brian P. Murphy, Robert G. Gibbons, Esther H. Steinhauer, David Leichtman, and Timothy P. Heaton. William G. Gaede III, Cooley Godward LLP, of Palo Alto, California, argued for defendant-appellee. With him on the brief were Lori R.E. Ploeger and Michele E. Moreland. ...

sponsored by the National Institute for Standards and Technology (NIST). The Legal Track served as a truncated replication of a document review of almost one million documents. Backstop software, assisted by attorney document review of less than one-tenth of one percent of the overall document set, classified the documents and achieved a combined accuracy rate (" F1 score ") of approximately 80%.