Sciweavers

43 search results - page 2 / 9
» On the Fundamental Tautology of Validating Data-Driven Model...
Sort
View
BILDMED
2009
134views Algorithms» more  BILDMED 2009»
13 years 6 months ago
A Porcine Liver Model for Validation of Registration Accuracy in Image-Guided Surgery
Correct registration between pre-operative high-resolution images and intra-operative data of lower detail is a fundamental requirement in image-guided liver surgery. We propose a ...
Matthias Peterhans, Benoît Dagon, Anne Vom B...
PIMRC
2008
IEEE
13 years 11 months ago
Investigating the validity of IEEE 802.11 MAC modeling hypotheses
—As WLANs employing IEEE 802.11 have become pervasive, many analytic models for predicting their performance have been developed in recent years. Due to the complicated nature of...
K. D. Huang, Ken R. Duffy, David Malone, Douglas J...
TVLSI
2008
140views more  TVLSI 2008»
13 years 5 months ago
A Novel Mutation-Based Validation Paradigm for High-Level Hardware Descriptions
We present a Mutation-based Validation Paradigm (MVP) technology that can handle complete high-level microprocessor implementations and is based on explicit design error modeling, ...
Jorge Campos, Hussain Al-Asaad
TON
2010
93views more  TON 2010»
13 years 20 hour ago
On the Validity of IEEE 802.11 MAC Modeling Hypotheses
We identify common hypotheses on which a large number of distinct mathematical models of WLANs employing IEEE 802.11 are founded. Using data from an experimental test bed and packe...
K. D. Huang, Ken R. Duffy, David Malone
ISI
2004
Springer
13 years 10 months ago
Aligning Simulation Models of Smallpox Outbreaks
We aligned two fundamentally different models of smallpox transmission after a bioterrorist attack: A location-explicit multi-agent model (BioWar) and the conventional epidemiologi...
Li-Chiou Chen, Boris Kaminsky, Tiffany Tummino, Ka...