Sciweavers

454 search results - page 68 / 91
» Models for Data-Flow Sequential Processes
Sort
View
ICIP
2004
IEEE
14 years 9 months ago
Markerless motion capture with single and multiple cameras
The aim of Optical Motion Capture is to sequentially estimate the true state X of the subject (generally an articulated body) at any time instant tk from a set of data Dk, capture...
Paris Kaimakis, Joan Lasenby
ICASSP
2007
IEEE
14 years 1 months ago
Toward Turbo Decoding of RNA Secondary Structure
We propose an iterative probabilistic algorithm for estimation of RNA secondary structure using sequence data from two homologous sequences. The method is intended to exploit inte...
Arif Ozgun Harmanci, Gaurav Sharma, David H. Mathe...
ICCAD
2007
IEEE
165views Hardware» more  ICCAD 2007»
13 years 11 months ago
Automated refinement checking of concurrent systems
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
Sudipta Kundu, Sorin Lerner, Rajesh Gupta
WSC
2008
13 years 9 months ago
Skart: A skewness- and autoregression-adjusted batch-means procedure for simulation analysis
We discuss Skart, an automated batch-means procedure for constructing a skewness- and autoregression-adjusted confidence interval for the steady-state mean of a simulation output ...
Ali Tafazzoli, James R. Wilson, Emily K. Lada, Nat...
TCAD
2010
121views more  TCAD 2010»
13 years 2 months ago
Translation Validation of High-Level Synthesis
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...
Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta