Sciweavers

1222 search results - page 63 / 245
» Some Results on Directable Automata
Sort
View
ICCV
2001
IEEE
16 years 8 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
16 years 4 days 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
15 years 8 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»
15 years 7 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...
164
Voted
ATVA
2010
Springer
125views Hardware» more  ATVA 2010»
15 years 7 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...