Sciweavers

1123 search results - page 33 / 225
» On Event Based State Estimation
Sort
View
APLAS
2007
ACM
15 years 3 months ago
Type-Based Verification of Correspondence Assertions for Communication Protocols
Gordon and Jeffrey developed a type system for checking correspondence assertions. The correspondence assertions, proposed by Woo and Lam, state that when a certain event (called a...
Daisuke Kikuchi, Naoki Kobayashi
IJCV
2006
129views more  IJCV 2006»
14 years 11 months ago
An a contrario Decision Framework for Region-Based Motion Detection
The aim of motion detection is to decide whether a given part of an image belongs to a moving object or to the static background. This paper proposes an automatic decision rule for...
Thomas Veit, Frédéric Cao, Patrick B...
BMCBI
2007
113views more  BMCBI 2007»
14 years 12 months ago
Statistical tools for transgene copy number estimation based on real-time PCR
Background: As compared with traditional transgene copy number detection technologies such as Southern blot analysis, real-time PCR provides a fast, inexpensive and high-throughpu...
Joshua S. Yuan, Jason N. Burris, Nathan R. Stewart...
CORR
2010
Springer
122views Education» more  CORR 2010»
14 years 6 months ago
Concavity of Mutual Information Rate for Input-Restricted Finite-State Memoryless Channels at High SNR
We consider a finite-state memoryless channel with i.i.d. channel state and the input Markov process supported on a mixing finite-type constraint. We discuss the asymptotic behavio...
Guangyue Han, Brian H. Marcus
ESTIMEDIA
2007
Springer
15 years 6 months ago
Signature-based Microprocessor Power Modeling for Rapid System-level Design Space Exploration
This paper presents a technique for high-level power estimation of microprocessors. The technique, which is based on abstract execution profiles called ’event signatures’, op...
Peter van Stralen, Andy D. Pimentel