Results 1 - 10 of 10,293

Fast probabilistic algorithms for verification of polynomial identities

by J. T. Schwartz - J. ACM , 1980
"... ABSTRACT The starthng success of the Rabm-Strassen-Solovay pnmahty algorithm, together with the intriguing foundattonal posstbthty that axtoms of randomness may constttute a useful fundamental source of mathemaucal truth independent of the standard axmmaUc structure of mathemaUcs, suggests a wgorous ..."
Abstract - Cited by 520 (1 self) - Add to MetaCart
ABSTRACT The starthng success of the Rabm-Strassen-Solovay pnmahty algorithm, together with the intriguing foundattonal posstbthty that axtoms of randomness may constttute a useful fundamental source of mathemaucal truth independent of the standard axmmaUc structure of mathemaUcs, suggests a

Just Relax: Convex Programming Methods for Identifying Sparse Signals in Noise

by Joel A. Tropp , 2006
"... This paper studies a difficult and fundamental problem that arises throughout electrical engineering, applied mathematics, and statistics. Suppose that one forms a short linear combination of elementary signals drawn from a large, fixed collection. Given an observation of the linear combination that ..."
Abstract - Cited by 483 (2 self) - Add to MetaCart
that has been contaminated with additive noise, the goal is to identify which elementary signals participated and to approximate their coefficients. Although many algorithms have been proposed, there is little theory which guarantees that these algorithms can accurately and efficiently solve the problem

The Economics of networks

by Nicholas Economides - INTERNATIONAL JOURNAL OF INDUSTRIAL ORGANIZATION , 1996
"... I analyze the salient features of networks and point out the similarities between the economic structure of networks and the structure of vertically related industries. The analysis focuses on positive consumption and production externalities, commonly called network externalities. I discuss their s ..."
Abstract - Cited by 462 (29 self) - Add to MetaCart
standards, interconnection and interoperability, and their effects on pricing and quality of services and on the value of network links in various ownership structures. I also briefly discuss the issue of interconnection fees for bottleneck facilities.

A rapid hierarchical radiosity algorithm

by Pat Hanrahan, David Salzman - Computer Graphics , 1991
"... This paper presents a rapid hierarchical radiosity algorithm for illuminating scenes containing lar e polygonal patches. The afgorithm constructs a hierarchic“J representation of the form factor matrix by adaptively subdividing patches into su bpatches according to a user-supplied error bound. The a ..."
Abstract - Cited by 409 (11 self) - Add to MetaCart
. The algorithm guarantees that all form factors are calculated to the same precision, removing many common image artifacts due to inaccurate form factors. More importantly, the al o-rithm decomposes the form factor matrix into at most O? n) blocks (where n is the number of elements). Previous radiosity

Fixing the Java memory model

by Jeremy Manson, William Pugh, Sarita V. Adve, Jeremy Manson - In ACM Java Grande Conference , 1999
"... This paper describes the new Java memory model, which has been revised as part of Java 5.0. The model specifies the legal behaviors for a multithreaded program; it defines the semantics of multithreaded Java programs and partially determines legal implementations of Java virtual machines and compile ..."
Abstract - Cited by 385 (10 self) - Add to MetaCart
and compilers. The new Java model provides a simple interface for correctly synchronized programs – it guarantees sequential consistency to data-race-free programs. Its novel contribution is requiring that the behavior of incorrectly synchronized programs be bounded by a well defined notion of causality

Using semantic values to facilitate interoperability among heterogeneous information systems

by Edward Sciore - In ACM Transactions on Database Systems , 1994
"... Large organizations need to exchange information among many separately developed systems. In order for this exchange to be useful, the individual systems must agree on the meaning of their exchanged data. That is, the organization must ensure semantzc mteroperabdity. This paper provides a theory of ..."
Abstract - Cited by 221 (37 self) - Add to MetaCart
of semantzc values as a unit of exchange that facilitates semantic interoperability between heterogeneous information systems. We show how semantic values can either be stored explicitly or be defined by environments. A system architecture is presented that allows autonomous components to share semantic

The Design and Performance of a Real-time CORBA Event Service

by Timothy Harrison, David L. Levine, Douglas C. Schmidt - in Proceedings of OOPSLA '97, (Atlanta, GA), ACM , 1997
"... The CORBA Event Service provides a flexible model for asynchronous communication among objects. However, the standard CORBA Event Service specification lacks important features required by real-time applications. For instance, operational flight programs for fighter aircraft have complex realtime pr ..."
Abstract - Cited by 274 (91 self) - Add to MetaCart
The CORBA Event Service provides a flexible model for asynchronous communication among objects. However, the standard CORBA Event Service specification lacks important features required by real-time applications. For instance, operational flight programs for fighter aircraft have complex realtime

Formal Method to Derive Interoperability Requirements and Guarantees

by Hazem El-gendy, Ph. D, P. Eng
"... Abstract — Interoperability among telecommunications systems, possibly by different vendors, is essential for both the development of many telecommunications networks, and today's civilization development. Interoperability testing is very costly, as it has a complexity of (n**2) for n systems, ..."
Abstract - Add to MetaCart
, and somewhat informal. In this paper, we develop a 'Conformance Testing (CT)'-based formal technique to determine interoperability requirements/guarantees. It allows automated derivation of the interoperability ' requirements of various networks as well as the interoperability guarantees among

A Variational Bayesian Framework for Graphical Models

by Hagai Attias - In Advances in Neural Information Processing Systems 12 , 2000
"... This paper presents a novel practical framework for Bayesian model averaging and model selection in probabilistic graphical models. Our approach approximates full posterior distributions over model parameters and structures, as well as latent variables, in an analytical manner. These posteriors ..."
Abstract - Cited by 267 (7 self) - Add to MetaCart
the standard Expectation Maximization algorithm, and its convergence is guaranteed. We demonstrate that this approach can be applied to a large class of models in several domains, including mixture models and source separation. 1 Introduction A standard method to learn a graphical model 1 from data

Toward a Common Component Architecture for High-Performance Scientific Computing

by Rob Armstrong , Dennis Gannon, Al Geist, Katarzyna Keahey, Scott Kohn, Lois McInnes, Steve Parker, Brent Smolinski - IN PROCEEDINGS OF THE 8TH IEEE INTERNATIONAL SYMPOSIUM ON HIGH PERFORMANCE DISTRIBUTED COMPUTATION , 1999
"... This paper describes work in progress to develop a standard for interoperability among high-performance scientific components. This research stems from growing recognition that the scientific community needs to better manage the complexity of multidisciplinary simulations and better address scalable ..."
Abstract - Cited by 263 (59 self) - Add to MetaCart
This paper describes work in progress to develop a standard for interoperability among high-performance scientific components. This research stems from growing recognition that the scientific community needs to better manage the complexity of multidisciplinary simulations and better address
Results 1 - 10 of 10,293