Sciweavers

2354 search results - page 215 / 471
» Assignment Problems
Sort
View
GIS
2007
ACM
16 years 7 months ago
Exploiting automatically inferred constraint-models for building identification in satellite imagery
The building identification (BID) problem is based on a process that uses publicly available information to automatically assign addresses to buildings in satellite imagery. In pr...
Martin Michalowski, Craig A. Knoblock, Kenneth M. ...
TACAS
2010
Springer
255views Algorithms» more  TACAS 2010»
15 years 4 months ago
Satisfiability Modulo the Theory of Costs: Foundations and Applications
Abstract. We extend the setting of Satisfiability Modulo Theories (SMT) by introducing a theory of costs C, where it is possible to model and reason about resource consumption and ...
Alessandro Cimatti, Anders Franzén, Alberto...
168
Voted
SBIA
1998
Springer
15 years 10 months ago
Building Object-Agents from a Software Meta-Architecture
Multi-agent systems can be viewed as object-oriented systems in which their entities show an autonomous behavior. If objects could acquire such skill in a flexible way, agents coul...
Analía Amandi, Ana Price
NIPS
2007
15 years 7 months ago
Convex Relaxations of Latent Variable Training
We investigate a new, convex relaxation of an expectation-maximization (EM) variant that approximates a standard objective while eliminating local minima. First, a cautionary resu...
Yuhong Guo, Dale Schuurmans
CVPR
2007
IEEE
16 years 8 months ago
Trajectory Association across Non-overlapping Moving Cameras in Planar Scenes
The ability to associate objects across multiple views allows co-operative use of an ensemble cameras for scene understanding. In this paper, we present a principled solution to o...
Yaser Sheikh, Xin Li, Mubarak Shah