Sciweavers

2673 search results - page 299 / 535
» Guided Static Analysis
Sort
View
EKAW
2004
Springer
15 years 11 months ago
Designing a Procedure for the Acquisition of Probability Constraints for Bayesian Networks
Among the various tasks involved in building a Bayesian network for a real-life application, the task of eliciting all probabilities required is generally considered the most daunt...
Eveline M. Helsper, Linda C. van der Gaag, Floris ...
DATE
2003
IEEE
118views Hardware» more  DATE 2003»
15 years 11 months ago
Multi-Granularity Metrics for the Era of Strongly Personalized SOCs
This paper details the first step of the Design Trotter framework for design space exploration applied to dedicated SOCs. The aim of this step is to provide metrics in order to gu...
Yannick Le Moullec, Nahla Ben Amor, Jean-Philippe ...
HICSS
2003
IEEE
104views Biometrics» more  HICSS 2003»
15 years 11 months ago
Science Investigation System for Telescopes in Education Research
The Virtual Telescopes in Education (VTIE) project, is providing tools for teaching astronomy in K-12 classrooms using remotely controlled telescopes. VTIE's main goal to pro...
Susan Hoban, John G. Keating, Joel Sachs, Daniel L...
122
Voted
ICSM
2003
IEEE
15 years 11 months ago
Testing with Respect to Concerns
Often the code regions that are assigned for a maintenance task do not follow the modularization of the original application program, but instead include parts of code from many d...
Amie L. Souter, David Shepherd, Lori L. Pollock
IBPRIA
2003
Springer
15 years 11 months ago
Ultrasound to Magnetic Resonance Volume Registration for Brain Sinking Measurement
This paper addresses the registration of ultrasound scans and magnetic resonance (MR ) volume datasets of the same patient. During a neurosurgery intervention, pre–operative MR i...
David Lloret, Joan Serrat, Antonio M. López...