Sciweavers

2679 search results - page 14 / 536
» Experimental Models for Validating Technology
Sort
View
ETFA
2008
IEEE
15 years 2 months ago
Is CSMA/CA really efficient against interference in a wireless control system? An experimental answer
The deployment of a wireless control system must cope with a number of effects usually negligible in a wired scenario. To this aim, an experimental analysis on suitable prototypes...
Matteo Bertocco, Giovanni Gamba, Alessandro Sona
130
Voted
ICCS
2007
Springer
15 years 2 months ago
Conceptual Graphs as Cooperative Formalism to Build and Validate a Domain Expertise
Abstract. This work takes place in the general context of the construction and validation of a domain expertise. It aims at the cooperation of two kinds of knowledge, heterogeneous...
Rallou Thomopoulos, Jean-François Baget, Ol...
AH
2008
Springer
15 years 6 months ago
A Validation Framework for Formal Models in Adaptive Work-Integrated Learning
The focus of my thesis is on the development of a multi-method framework for the validation of formal models (domain model, user model, and teaching model) for adaptive work-integr...
Barbara Kump
GLVLSI
2006
IEEE
95views VLSI» more  GLVLSI 2006»
15 years 6 months ago
Test generation using SAT-based bounded model checking for validation of pipelined processors
Functional verification is one of the major bottlenecks in microprocessor design. Simulation-based techniques are the most widely used form of processor verification. Efficient ...
Heon-Mo Koo, Prabhat Mishra
91
Voted
BILDMED
2009
134views Algorithms» more  BILDMED 2009»
15 years 1 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...