Sciweavers

1222 search results - page 63 / 245
» Some Results on Directable Automata
Sort
View
ICCV
2001
IEEE
15 years 11 months ago
Car Detection in Low Resolution Aerial Image
In this paper, we present a system to detect passenger cars in aerial images where car appears small. We post the detection as a 3D object recognition problem to account for the v...
Tao Zhao, Ramakant Nevatia
CIARP
2004
Springer
15 years 3 months ago
Pattern Recognition via Vasconcelos' Genetic Algorithm
In this paper we describe a heuristic approach to the problem of identifying a pattern embedded within a figure from a predefined set of patterns via the utilization of a genetic a...
Angel Fernando Kuri Morales
IJCAI
2007
14 years 11 months ago
Multipotential Games
We introduce and analyze q-potential games and qcongestion games, where q is a positive integer. A 1-potential (congestion) game is a potential (congestion) game. We show that a g...
Dov Monderer
GECCO
2008
Springer
131views Optimization» more  GECCO 2008»
14 years 11 months ago
A new memetic strategy for the numerical treatment of multi-objective optimization problems
In this paper we propose a novel iterative search procedure for multi-objective optimization problems. The iteration process – though derivative free – utilizes the geometry o...
Oliver Schütze, Gustavo Sanchez, Carlos A. Co...
ATVA
2010
Springer
125views Hardware» more  ATVA 2010»
14 years 11 months ago
Using Redundant Constraints for Refinement
Abstract. This paper is concerned with a method for computing reachable sets of linear continuous systems with uncertain input. Such a method is required for verification of hybrid...
Eugene Asarin, Thao Dang, Oded Maler, Romain Testy...