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 3 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 6 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
113
Voted
TSP
2010
14 years 6 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 ...
102
Voted
ISBI
2008
IEEE
16 years 10 days 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...
98
Voted
RAS
2008
135views more  RAS 2008»
14 years 11 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