Sciweavers

1818 search results - page 242 / 364
» Granularity-Adaptive Proof Presentation
Sort
View
ISCAS
2005
IEEE
127views Hardware» more  ISCAS 2005»
15 years 9 months ago
A novel property of the second-order modes of discrete-time systems under variable transformation
Abstract— This paper derives a novel property of the secondorder modes of discrete-time systems under variable transformation. This is the generalization of the theory presented ...
Shunsuke Koshita, Masahide Abe, Masayuki Kawamata
ISCAS
2005
IEEE
111views Hardware» more  ISCAS 2005»
15 years 9 months ago
Necessary and sufficient conditions for LTI systems to preserve signal richness
There are many ways to define richness of a discrete time signal. In this paper we consider a particular definition and explore the conditions under which a linear time invarian...
Borching Su, P. P. Vaidyanathan
AMS
2005
Springer
182views Robotics» more  AMS 2005»
15 years 9 months ago
Visual Odometry Using Sparse Bundle Adjustment on an Autonomous Outdoor Vehicle
Visual Odometry is the process of estimating the movement of a (stereo) camera through its environment by matching point features between pairs of consecutive image frames. No prio...
Niko Sünderhauf, Kurt Konolige, Simon Lacroix...
BIRTHDAY
2005
Springer
15 years 9 months ago
Primitive Rewriting
Undecidability results in rewriting have usually been proved by reduction from undecidable problems of Turing machines or, more recently, from Post’s Correspondence Problem. Ano...
Nachum Dershowitz
FCT
2005
Springer
15 years 9 months ago
A Faster and Simpler 2-Approximation Algorithm for Block Sorting
Block sorting is used in connection with optical character recognition (OCR). Recent work has focused on finding good strategies which perform well in practice. Block sorting is N...
Wolfgang W. Bein, Lawrence L. Larmore, Linda Moral...