Sciweavers

591 search results - page 25 / 119
» Simulation Input Updating Using Bayesian Techniques
Sort
View
ICCD
1995
IEEE
119views Hardware» more  ICCD 1995»
15 years 6 months ago
Extraction of finite state machines from transistor netlists by symbolic simulation
– This paper describes a new technique for extracting clock-level finite state machines(FSMs) from transistor netlists using symbolic simulation. The transistor netlist is prepr...
Manish Pandey, Alok Jain, Randal E. Bryant, Derek ...
CLADE
2008
IEEE
15 years 8 months ago
SWARM: a scientific workflow for supporting bayesian approaches to improve metabolic models
With the exponential growth of complete genome sequences, the analysis of these sequences is becoming a powerful approach to build genome-scale metabolic models. These models can ...
Xinghua Shi, Rick Stevens
TSP
2010
14 years 9 months ago
Multichannel fast QR-decomposition algorithms: weight extraction method and its applications
Abstract--Multichannel fast QR decomposition RLS (MCFQRD-RLS) algorithms are well known for their good numerical properties and low computational complexity. The main limitation is...
Mobien Shoaib, Stefan Werner, José Antonio ...
ISBI
2008
IEEE
16 years 3 months ago
Bayesian non local means-based speckle filtering
In ultrasound (US) imaging, denoising is intended to improve quantitative image analysis techniques. In this paper, a new version of the Non Local (NL) Means filter adapted for US...
Charles Kervrann, Christian Barillot, Pierre Helli...
RAS
2008
135views more  RAS 2008»
15 years 1 months ago
Constructing dependable certainty grids from unreliable sensor data
-- Measurements from sensors as they are used for robotic grid map applications typically show behavior like degradation or discalibration over time, which affects the quality of t...
Wilfried Elmenreich