Sciweavers

1340 search results - page 140 / 268
» Kalman Temporal Differences
Sort
View
ISCAS
2005
IEEE
218views Hardware» more  ISCAS 2005»
15 years 9 months ago
Scalable multiview video coding using wavelet
—Most existing multiview video coding (MVC) techniques are based on the traditional hybrid DCT-based video coding schemes, e.g., MPEG-2, MPEG-4 and H.264. They neither fully expl...
Wenxian Yang, Feng Wu, Yan Lu, Jianfei Cai, King N...
SIGIR
2010
ACM
15 years 8 months ago
Freshness matters: in flowers, food, and web authority
The collective contributions of billions of users across the globe each day result in an ever-changing web. In verticals like news and real-time search, recency is an obvious sign...
Na Dai, Brian D. Davison
DAC
2010
ACM
15 years 7 months ago
Scalable specification mining for verification and diagnosis
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...
Wenchao Li, Alessandro Forin, Sanjit A. Seshia
ECAI
2010
Springer
15 years 5 months ago
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability
Abstract. Interval temporal logics formalize reasoning about interval structures over (usually) linearly ordered domains, where time intervals are the primitive ontological entitie...
Davide Bresolin, Dario Della Monica, Valentin Gora...
169
Voted
BMCBI
2005
103views more  BMCBI 2005»
15 years 4 months ago
Quadratic regression analysis for gene discovery and pattern recognition for non-cyclic short time-course microarray experiments
Background: Cluster analyses are used to analyze microarray time-course data for gene discovery and pattern recognition. However, in general, these methods do not take advantage o...
Hua Liu, Sergey Tarima, Aaron S. Borders, Thomas V...