Sciweavers

882 search results - page 36 / 177
» Observing Infinite-dimensional Dynamical Systems
Sort
View
DSN
2006
IEEE
15 years 8 months ago
Dynamic Verification of Memory Consistency in Cache-Coherent Multithreaded Computer Architectures
—Multithreaded servers with cache-coherent shared memory are the dominant type of machines used to run critical network services and database management systems. To achieve the h...
Albert Meixner, Daniel J. Sorin
CDC
2009
IEEE
123views Control Systems» more  CDC 2009»
15 years 6 months ago
On the myopic policy for a class of restless bandit problems with applications in dynamic multichannel access
We consider a class of restless multi-armed bandit problems that arises in multi-channel opportunistic communications, where channels are modeled as independent and stochastically...
Keqin Liu, Qing Zhao
BC
2004
91views more  BC 2004»
15 years 1 months ago
Simulation and parameter estimation of dynamics of synaptic depression
Abstract. Synaptic release was simulated using a Simulink sequential storage model with three vesicular pools. Modeling was modular and easily extendable to the systems with greate...
F. Aristizabal, M. I. Glavinovic
DAGM
2007
Springer
15 years 8 months ago
A Multi-view Camera System for the Generation of Real-Time Occlusion-Free Scene Video
This paper presents a novel multi-view camera system that produces real-time single view scene video which sees through the static objects to observe the dynamic objects. The syste...
Alparslan Yildiz, Yusuf Sinan Akgul
TREC
1998
15 years 3 months ago
ClickIR: Text Retrieval using a Dynamic Hypertext Interface
In this report we describe our model of dynamic hypertext and how the ClickIR system uses this model to assist users in interactive search. The system was used in both the ad hoc ...
Richard C. Bodner, Mark H. Chignell