Sciweavers

1465 search results - page 36 / 293
» Making the Correct Mistakes
Sort
View
JMLR
2006
105views more  JMLR 2006»
14 years 9 months ago
Expectation Correction for Smoothed Inference in Switching Linear Dynamical Systems
We introduce a method for approximate smoothed inference in a class of switching linear dynamical systems, based on a novel form of Gaussian Sum smoother. This class includes the ...
David Barber
69
Voted
ICCV
2005
IEEE
15 years 11 months ago
Parameter-Free Radial Distortion Correction with Centre of Distortion Estimation
We propose a method of simultaneously calibrating the radialdistortionfunctionofacameraalongwith theotherinternal calibration parameters. The method relies on the use of a planar ...
Richard I. Hartley, Sing Bing Kang
89
Voted
VLSID
2001
IEEE
129views VLSI» more  VLSID 2001»
15 years 10 months ago
Design Of Provably Correct Storage Arrays
In this paper we describe a hardware design method for memory and register arrays that allows the application of formal equivalence checking for comparing a high-level register tr...
Rajiv V. Joshi, Wei Hwang, Andreas Kuehlmann
PERCOM
2008
ACM
15 years 9 months ago
Provably Correct Pervasive Computing Environments
The field of pervasive computing has seen a lot of exciting innovations in the past few years. However, there are currently no mechanisms for describing the properties and capabil...
Anand Ranganathan, Roy H. Campbell
TPDS
2002
105views more  TPDS 2002»
14 years 9 months ago
HiPER: A Compact Narrow Channel Router with Hop-by-Hop Error Correction
Multiprocessor architectures demand efficient interprocessor communication to maximize system utilization and performance. To meet future demands, these interconnects must communic...
Phil May, Santithorn Bunchua, D. Scott Wills