Sciweavers

2843 search results - page 219 / 569
» Interpolation by geometric algorithm
Sort
View
GLOBECOM
2007
IEEE
15 years 10 months ago
Time-Varying Channel Complex Gains Estimation and ICI Suppression in OFDM Systems
—In this paper, we present an iterative algorithm for channel complex gains estimation with inter-sub-carrierinterference (ICI) reduction in orthogonal-frequency-divisionmultiple...
Hussein Hijazi, Laurent Ros
FMCAD
2007
Springer
15 years 10 months ago
Induction in CEGAR for Detecting Counterexamples
— Induction has been studied in model checking for proving the validity of safety properties, i.e., showing the absence of counterexamples. To our knowledge, induction has not be...
Chao Wang, Aarti Gupta, Franjo Ivancic
120
Voted
IROS
2006
IEEE
143views Robotics» more  IROS 2006»
15 years 10 months ago
3D Field D: Improved Path Planning and Replanning in Three Dimensions
— We present an interpolation-based planning and replanning algorithm that is able to produce direct, lowcost paths through three-dimensional environments. Our algorithm builds u...
Joseph Carsten, Dave Ferguson, Anthony Stentz
INEX
2005
Springer
15 years 9 months ago
Parameter Estimation for a Simple Hierarchical Generative Model for XML Retrieval
Abstract. This paper explores the possibility of using a modified Expectation-Maximization algorithm to estimate parameters for a simple hierarchical generative model for XML retr...
Paul Ogilvie, Jamie Callan
MKM
2005
Springer
15 years 9 months ago
Processing Textbook-Style Matrices
In mathematical textbooks matrices are often represented as objects of indefinite size containing abbreviations. To make the knowledge implicitly given in these representations av...
Alan P. Sexton, Volker Sorge