Sciweavers

3707 search results - page 26 / 742
» A Simple Technique for Self-Calibration
Sort
View
CADE
1998
Springer
15 years 1 months ago
Automated Theorem Proving in a Simple Meta-Logic for LF
Abstract. Higher-order representation techniques allow elegant encodings of logics and programming languages in the logical framework LF, but unfortunately they are fundamentally i...
Carsten Schürmann, Frank Pfenning
ICRA
1993
IEEE
142views Robotics» more  ICRA 1993»
15 years 1 months ago
Avoiding the Past: A Simple but Effective Strategy for Reactive Navigation
An issue central to the navigation problem is memory. Traditional systems build symbolic maps of the world for navigational reference. Reactive methods, in contrast, eliminate or m...
Tucker R. Balch, Ronald C. Arkin
PODS
2000
ACM
120views Database» more  PODS 2000»
15 years 1 months ago
Indexing the Edges - A Simple and Yet Efficient Approach to High-Dimensional Indexing
In this paper, we propose a new tunable index scheme, called iMinMax , that maps points in high dimensional spaces to single dimension values determined by their maximum or minimu...
Beng Chin Ooi, Kian-Lee Tan, Cui Yu, Stépha...
FLAIRS
2004
14 years 11 months ago
MultiDE: A Simple, Powerful Differential Evolution Algorithm for Finding Multiple Global Optima
This paper presents multiDE, an extension of Price and Storn's differential evolution (DE) algorithm that consistently outperforms state-of-the-art search techniques for iden...
Zachary V. Hendershot, Frank W. Moore
ENVSOFT
2000
86views more  ENVSOFT 2000»
14 years 9 months ago
Broken line smoothing: a simple method for interpolating and smoothing data series
A technique is proposed for smoothing a broken line fit, with known break points, to observational data. It will be referred to as "broken line smoothing". The smoothness...
Demetris Koutsoyiannis