Sciweavers

104 search results - page 20 / 21
» Solving constrained multi-objective problems by objective sp...
Sort
View
112
Voted
CVPR
2010
IEEE
15 years 4 months ago
Putting local features on a Manifold
Local features have proven very useful for recognition. Manifold learning has proven to be a very powerful tool in data analysis. However, manifold learning application for imag...
Marwan Torki and Ahmed Elgammal
83
Voted
ICRA
2002
IEEE
111views Robotics» more  ICRA 2002»
15 years 3 months ago
Mission Planning for the Sun-Synchronous Navigation Field Experiment
This paper describes TEMPEST, a planner that enables a solar-powered rover to reason about path selection and event placement in terms of available solar energy and anticipated po...
Paul Tompkins, Anthony Stentz, William Whittaker
83
Voted
SMA
2008
ACM
172views Solid Modeling» more  SMA 2008»
14 years 10 months ago
Guarding curvilinear art galleries with edge or mobile guards
In this paper we consider the problem of monitoring an art gallery modeled as a polygon, the edges of which are arcs of curves. We consider two types of guards: edge guards (these...
Menelaos I. Karavelas
GECCO
2010
Springer
194views Optimization» more  GECCO 2010»
15 years 3 months ago
Fitting multi-planet transit models to photometric time-data series by evolution strategies
In this paper we present the application of an evolution strategy to the problem of detecting multi-planet transit events in photometric time-data series. Planetary transits occur...
Andreas M. Chwatal, Günther R. Raidl, Michael...
CHARME
2005
Springer
94views Hardware» more  CHARME 2005»
15 years 3 months ago
Verifying Quantitative Properties Using Bound Functions
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
Arindam Chakrabarti, Krishnendu Chatterjee, Thomas...