Results 1 - 10 of 4,297

A Theory of Focus Interpretation

by Mats Rooth
"... More or less final version. To appear in Natural Language Semantics. According to the alternative semantics for focus, the semantic reflex of intonational focus is a second semantic value, which in the case of a sentence is a set of propositions. We examine a range of semantic and pragmatic applicat ..."
Abstract - Cited by 488 (6 self) - Add to MetaCart
constructions impossible. Furthermore, while focus has a uniform import, the sources of meaning differences in association with focus are various.

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

A Focus+Context Technique Based on Hyperbolic Geometry for Visualizing Large Hierarchies

by John Lamping, Ramana Rao, Peter Pirolli - SIGCHI CONFERENCE ON HUMAN FACTORS IN COMPUTING SYSTEMS (CHI '95) , 1995
"... We present a new focus+context (fisheye) technique for visualizing and manipulating large hierarchies. Our technique assigns more display space to a portion of the hierarchy while still embedding it in the context of the entire hierarchy. The essence of this scheme is to lay out the hierarchy in a ..."
Abstract - Cited by 411 (1 self) - Add to MetaCart
uniform way on a hyperbolic plane and map this plane onto a circular display region. This supports a smooth blending between focus and context, as well as continuous redirection of the focus. We have developed effective procedures for manipulating the focus using pointer clicks as well as interactive

Shared memory consistency models: A tutorial

by Sarita V. Adve, Kourosh Gharachorloo - IEEE Computer , 1996
"... Parallel systems that support the shared memory abstraction are becoming widely accepted in many areas of computing. Writing correct and efficient programs for such systems requires a formal specification of memory semantics, called a memory consistency model. The most intuitive model—sequential con ..."
Abstract - Cited by 441 (10 self) - Add to MetaCart
paper is to describe issues related to memory consistency models in a way that would be understandable to most computer professionals. We focus on consistency models proposed for hardware-based shared-memory systems. Many of these models are originally specified with an emphasis on the system

Strengths and weaknesses of quantum computing

by Charles H. Bennett, Ethan Bernstein, Gilles Brassard, Umesh Vazirani , 1996
"... Recently a great deal of attention has focused on quantum computation following a sequence of results [4, 16, 15] suggesting that quantum computers are more powerful than classical probabilistic computers. Following Shor’s result that factoring and the extraction of discrete logarithms are both solv ..."
Abstract - Cited by 381 (10 self) - Add to MetaCart
Recently a great deal of attention has focused on quantum computation following a sequence of results [4, 16, 15] suggesting that quantum computers are more powerful than classical probabilistic computers. Following Shor’s result that factoring and the extraction of discrete logarithms are both

Pricing in Computer Networks: Reshaping the Research Agenda

by S. Shenker, D. Clark, D. Estrin, S. Herzog - ACM Computer Communication Review , 1996
"... As the Internet makes the transition from research testbed to commercial enterprise, the topic of pricing in computer networks has suddenly attracted great attention. Much of the discussion in the network design community and the popular press centers on the usage-based vs. fiat pricing debate. The ..."
Abstract - Cited by 236 (2 self) - Add to MetaCart
. The more academic literature has largely focused on devising optimal pricing policies; achieving optimal welfare requires charging marginal congestion costs for usage. In this paper we critique this optimality paradigm on three grounds: (1) marginal cost prices may not produce sufficient revenue to fully

The NRL Modified Betatron Accelerator*

by J. Mathew, P. Loschialpo, J. H. Chang, C. A. Kapetanakos
"... We have improved the lifetime of the clcctron bcaam from a few microseconds to over 700 11s by adding strong fo-cusing windi:lgs to our original dcviccz. The poloidal bounc< orbit of tile l~eam immediately after injection is always in thr form of an inward spiral, resulting in the t: apping of ih ..."
Abstract - Add to MetaCart
We have improved the lifetime of the clcctron bcaam from a few microseconds to over 700 11s by adding strong fo-cusing windi:lgs to our original dcviccz. The poloidal bounc< orbit of tile l~eam immediately after injection is always in thr form of an inward spiral, resulting in the t: apping

Regular Types for Active Objects

by Oscar Nierstrasz , 1995
"... Previous work on type-theoretic foundations for object-oriented programming languages has mostly focused on applying or extending functional type theory to functional "objects." This approach, while benefiting from a vast body of existing literature, has the disadvantage of dealing with st ..."
Abstract - Cited by 207 (5 self) - Add to MetaCart
Previous work on type-theoretic foundations for object-oriented programming languages has mostly focused on applying or extending functional type theory to functional "objects." This approach, while benefiting from a vast body of existing literature, has the disadvantage of dealing

Toward Scalable Learning with Non-uniform Distributions: Effects and a Multi-classifier Approach

by Philip Chan, Salvatore J. Stolfo - In Proceedings of the Fourth International Conference on Knowledge Discovery and Data Mining , 1999
"... Many factors influence the performance of a learned classifier. In this paper we study different methods of measuring performance based on a unified set of cost models and the effects of training class distribution with respect to these models. Observations from these effects help us devise a distri ..."
Abstract - Cited by 161 (6 self) - Add to MetaCart
distributed multi-classifier meta-learning approach to learn in domains with skewed class distributions, non-uniform cost per error, and large amounts of data. One such domain is credit card fraud detection and our empirical results indicate that, up to a certain degree of skewed distribution, our approach

Coil sensitivity encoding for fast MRI. In:

by Klaas P Pruessmann , Markus Weiger , Markus B Scheidegger , Peter Boesiger - Proceedings of the ISMRM 6th Annual Meeting, , 1998
"... New theoretical and practical concepts are presented for considerably enhancing the performance of magnetic resonance imaging (MRI) by means of arrays of multiple receiver coils. Sensitivity encoding (SENSE) is based on the fact that receiver sensitivity generally has an encoding effect complementa ..."
Abstract - Cited by 193 (3 self) - Add to MetaCart
imaging techniques, MRI stands out by a rarely stated peculiarity: the size of the details resolved with MRI is much smaller than the wavelength of the radiation involved. The reason for this surprising ability is that the origin of a resonance signal is not determined by optical means such as focusing
Results 1 - 10 of 4,297