Sciweavers

3902 search results - page 674 / 781
» Hardware Synthesis from C C Models
Sort
View
RAS
2006
91views more  RAS 2006»
15 years 15 days 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,...
114
Voted
TCS
2008
15 years 15 days 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 14 days 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...
TSP
2008
119views more  TSP 2008»
15 years 14 days 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
CCR
2004
62views more  CCR 2004»
15 years 13 days 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