Sciweavers

591 search results - page 25 / 119
» Simulation Input Updating Using Bayesian Techniques
Sort
View
ICCD
1995
IEEE
119views Hardware» more  ICCD 1995»
14 years 22 hour 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
14 years 2 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
13 years 3 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
14 years 9 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»
13 years 8 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