Results 1 - 10 of 5,087

NiagaraCQ: A Scalable Continuous Query System for Internet Databases

by Jianjun Chen, David J. Dewitt, Feng Tian, Yuan Wang - In SIGMOD , 2000
"... Continuous queries are persistent queries that allow users to receive new results when they become available. While continuous query systems can transform a passive web into an active environment, they need to be able to support millions of queries due to the scale of the Internet. No existing syste ..."
Abstract - Cited by 584 (9 self) - Add to MetaCart
Continuous queries are persistent queries that allow users to receive new results when they become available. While continuous query systems can transform a passive web into an active environment, they need to be able to support millions of queries due to the scale of the Internet. No existing

Real-Time Computing Without Stable States: A New Framework for Neural Computation Based on Perturbations

by Wolfgang Maass, Thomas Natschläger, Henry Markram
"... A key challenge for neural modeling is to explain how a continuous stream of multi-modal input from a rapidly changing environment can be processed by stereotypical recurrent circuits of integrate-and-fire neurons in real-time. We propose a new computational model for real-time computing on time-var ..."
Abstract - Cited by 469 (38 self) - Add to MetaCart
A key challenge for neural modeling is to explain how a continuous stream of multi-modal input from a rapidly changing environment can be processed by stereotypical recurrent circuits of integrate-and-fire neurons in real-time. We propose a new computational model for real-time computing on time

A Catalogue of Refactorings for Model-to-Model Transformations

by Manuel Wimmer , Salvador Martínez , Frédéric Jouault , Jordi Cabot , 2011
"... In object-oriented programming, continuous refactorings are used as the main mechanism to increase the maintainability of the code base. Unfortunately, in the field of model transformations, such refactoring support is so far missing. This paper tackles this limitation by adapting the notion of ref ..."
Abstract - Cited by 7 (4 self) - Add to MetaCart
of refactorings to model-to-model (M2M) transformations. In particular, we present a dedicated catalogue of refactorings for improving the quality of M2M transformations. The refactorings have been explored by analyzing existing transformation examples defined in ATL. However, the refactorings

Automatic Symbolic Verification of Embedded Systems

by Rajeev Alur , Thomas A. Henzinger , Pei-hsin Ho , 1996
"... We present a model-checking procedure and its implementation for the automatic verification of embedded systems. The system components are described as Hybrid Automata -- communicating machines with finite control and real-valued variables that represent continuous environment parameters such as tim ..."
Abstract - Cited by 330 (24 self) - Add to MetaCart
We present a model-checking procedure and its implementation for the automatic verification of embedded systems. The system components are described as Hybrid Automata -- communicating machines with finite control and real-valued variables that represent continuous environment parameters

Personality and transformational and transactional leadership: A meta-analysis

by Joyce E. Bono, Timothy A. Judge - Journal of Applied Psychology , 2004
"... This study was a meta-analysis of the relationship between personality and ratings of transformational and transactional leadership behaviors. Using the 5-factor model of personality as an organizing framework, the authors accumulated 384 correlations from 26 independent studies. Personality traits ..."
Abstract - Cited by 283 (3 self) - Add to MetaCart
This study was a meta-analysis of the relationship between personality and ratings of transformational and transactional leadership behaviors. Using the 5-factor model of personality as an organizing framework, the authors accumulated 384 correlations from 26 independent studies. Personality traits

Active learning: Creating excitement in the classroom

by Charles C. Bonwell, Ph. D , 1991
"... "College teaching and lecturing have been so long associated that when one pictures a college professor in a classroom, he almost inevitably pictures him as lecturing. " Few would argue with the statement that the vast majority of today's professoriate were primarily lectured to as bo ..."
Abstract - Cited by 275 (0 self) - Add to MetaCart
to as both undergraduates and as graduate school students. It is not surprising, therefore, that lecturing continues to be our most prevalent mode of instruction. A host of national reports in the 1980’s, however, challenged college and university faculty to develop instructional approaches that transform

DryadLINQ: A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Language

by Yuan Yu, Michael Isard, Dennis Fetterly, Mihai Budiu, Úlfar Erlingsson, Pradeep Kumar, Gunda Jon Currey
"... DryadLINQ is a system and a set of language extensions that enable a new programming model for large scale distributed computing. It generalizes previous execution environments such as SQL, MapReduce, and Dryad in two ways: by adopting an expressive data model of strongly typed.NET objects; and by s ..."
Abstract - Cited by 273 (27 self) - Add to MetaCart
DryadLINQ is a system and a set of language extensions that enable a new programming model for large scale distributed computing. It generalizes previous execution environments such as SQL, MapReduce, and Dryad in two ways: by adopting an expressive data model of strongly typed.NET objects

Nonlinear Neural Networks: Principles, Mechanisms, and Architectures

by Stephen Grossberg , 1988
"... An historical discussion is provided of the intellectual trends that caused nineteenth century interdisciplinary studies of physics and psychobiology by leading scientists such as Helmholtz, Maxwell, and Mach to splinter into separate twentieth-century scientific movements. The nonlinear, nonstatio ..."
Abstract - Cited by 262 (21 self) - Add to MetaCart
, nonstationary, and nonlocal nature of behavioral and brain data are emphasized. Three sources of contemporary neural network research-the binary, linear, and continuous-nonlinear models-are noted. The remainder of the article describes results about continuous-nonlinear models: Many models of content

Metascheduling for continuous media

by David P. Anderson - ACM Transactions on Computer Systems , 1993
"... Next-generation distributed systems will support corLtLzLzLous medLa (digztal audio and video) in the same framework as other data. Many applications that use continuous media need guaran-teed end-to-end performance (bounds on throughput and delay). To reliably support these requirements, system com ..."
Abstract - Cited by 160 (3 self) - Add to MetaCart
components such as CPU schedulers, networks, and file systems must offer performance guarantees. A rnetasclzedtder coordinates these components, negotiating end-to-end guarantees on behalf of clients. The CM-resource model, described in this paper, provides a basis for such a metascheduler. It defines a

A new alternating minimization algorithm for total variation image reconstruction

by Yilun Wang, Junfeng Yang, Wotao Yin, Yin Zhang - SIAM J. IMAGING SCI , 2008
"... We propose, analyze and test an alternating minimization algorithm for recovering images from blurry and noisy observations with total variation (TV) regularization. This algorithm arises from a new half-quadratic model applicable to not only the anisotropic but also isotropic forms of total variati ..."
Abstract - Cited by 224 (26 self) - Add to MetaCart
We propose, analyze and test an alternating minimization algorithm for recovering images from blurry and noisy observations with total variation (TV) regularization. This algorithm arises from a new half-quadratic model applicable to not only the anisotropic but also isotropic forms of total
Results 1 - 10 of 5,087