Sciweavers

1236 search results - page 126 / 248
» On the Hamkins approximation property
Sort
View
185
Voted
DSN
2007
IEEE
16 years 1 months ago
On the Cost of Modularity in Atomic Broadcast
Modularity is a desirable property of complex software systems, since it simplifies code reuse, verification, maintenance, etc. However, the use of loosely coupled modules intro...
Olivier Rütti, Sergio Mena, Richard Ekwall, A...
191
Voted
HAPTICS
2007
IEEE
16 years 1 months ago
Towards Just Noticeable Differences for Natural Frequency of Manually Excited Virtual Dynamic Systems
This paper explores the experiment design to determine a human’s ability to discriminate the natural frequency of manually excited virtual dynamic systems. We use a one degree-o...
Yanfang Li, Volkan Patoglu, Deborah Huang, Marcia ...
200
Voted
IPCCC
2007
IEEE
16 years 1 months ago
On Network Coding Based Multirate Video Streaming in Directed Networks
This paper focuses on network coding based multirate multimedia streaming in directed networks and aims at maximizing the total layers received by all receivers, which directly de...
Chen-guang Xu, Yinlong Xu, Cheng Zhan, Ruizhe Wu, ...
149
Voted
ISBI
2007
IEEE
16 years 1 months ago
Inverse Biomedical Imaging Using Separately Adapted Meshes for Parameters and Forward Model Variables
Many important existing and upcoming biomedical imaging modalities lead to nonlinear relationships between state variables from which measurements result and the tissue properties...
Wolfgang Bangerth, Amit Joshi, Eva M. Sevick-Murac...
197
Voted
HYBRID
2007
Springer
16 years 1 months ago
Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
This work investigates some of the computational issues involved in the solution of probabilistic reachability problems for discretetime, controlled stochastic hybrid systems. It i...
Alessandro Abate, Saurabh Amin, Maria Prandini, Jo...