Sciweavers

3902 search results - page 674 / 781
» Hardware Synthesis from C C Models
Sort
View
137
Voted
RAS
2006
91views more  RAS 2006»
15 years 3 months ago
Visual navigation and obstacle avoidance using a steering potential function
Humans have a remarkable ability to navigate using only vision, but mobile robots have not been nearly as successful. We propose a new approach to vision-guided local navigation, ...
Wesley H. Huang, Brett R. Fajen, Jonathan R. Fink,...
146
Voted
TCS
2008
15 years 3 months ago
Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof
This article presents formalized intuitionistic proofs for the polyhedra genus theorem, the Euler formula and a sufficient condition of planarity. They are based on a hypermap mod...
Jean-François Dufourd
TSP
2008
91views more  TSP 2008»
15 years 3 months ago
On Optimal Perfect Reconstruction Feedback Quantizers
Abstract-- This paper presents novel results on Perfect Reconstruction Feedback Quantizers (PRFQs), i.e., noise-shaping, predictive and sigma-delta A/D converters whose signal tran...
Milan S. Derpich, Eduardo I. Silva, Daniel E. Quev...
116
Voted
TSP
2008
119views more  TSP 2008»
15 years 3 months ago
Universal Weighted MSE Improvement of the Least-Squares Estimator
Since the seminal work of Stein in the 1950s, there has been continuing research devoted to improving the total meansquared error (MSE) of the least-squares (LS) estimator in the l...
Yonina C. Eldar
128
Voted
CCR
2004
62views more  CCR 2004»
15 years 3 months ago
Methodological frameworks for large-scale network analysis and design
This paper emphasizes the need for methodological frameworks for analysis and design of large scale networks which are independent of specific design innovations and their advocac...
Antonis Papachristodoulou, Lun Li, John C. Doyle