Sciweavers

1236 search results - page 126 / 248
» On the Hamkins approximation property
Sort
View
DSN
2007
IEEE
16 years 21 days 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...
HAPTICS
2007
IEEE
16 years 21 days 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 ...
IPCCC
2007
IEEE
16 years 20 days 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, ...
ISBI
2007
IEEE
16 years 20 days 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...
HYBRID
2007
Springer
16 years 16 days 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...