Sciweavers

809 search results - page 75 / 162
» Causality: Objectives and Assessment
Sort
View
91
Voted
MOBILIGHT
2010
14 years 10 months ago
Virtual Distributed Simulation Platform for the Study and Optimization of Future Beyond 3G Heterogeneous Systems
This paper proposes and assesses a new distributed simulation platform for heterogeneous wireless communications. The objective of the ICARUS platform is to investigate cross-layer...
M. Carmen Lucas-Estan, Salva Garrigas, Javier Goz&...
NFM
2011
264views Formal Methods» more  NFM 2011»
14 years 7 months ago
Applying Atomicity and Model Decomposition to a Space Craft System in Event-B
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
Asieh Salehi Fathabadi, Abdolbaghi Rezazadeh, Mich...
98
Voted
MAMMO
2010
Springer
14 years 11 months ago
Introducing a Novel Image Quality Measure for Digital Phase-Contrast-Image Evaluation
Recently, detective quantum efficiency (DQE) arising from the concept of signal-to-noise ratio (SNR) has been used for assessing digital x-ray imaging systems. Using a phase-shift ...
Satoru Matsuo, Hiroshi Fujita, Junji Morishita, Te...
84
Voted
HICSS
2003
IEEE
112views Biometrics» more  HICSS 2003»
15 years 6 months ago
Creating a Scenariologic - Design and Application of a Repeatable Methodology
Context scenarios are widely used for assessing the robustness of strategies and policies in both the private and the public sector. Royal Dutch Shell, for instance, has become re...
Bert Enserink
110
Voted
BMCBI
2007
152views more  BMCBI 2007»
15 years 25 days ago
Difference-based clustering of short time-course microarray data with replicates
Background: There are some limitations associated with conventional clustering methods for short time-course gene expression data. The current algorithms require prior domain know...
Jihoon Kim, Ju Han Kim