522 search results - page 14 / 105 » Betting on the Real Line |
100
Voted
IANDC
2007
15 years 1 months ago
2007
In many cases, the addition of metric operators to qualitative temporal logics (TLs) increases the complexity of satisfiability by at least one exponential: while common qualitat...
114
Voted
GECCO
2000
Springer
15 years 5 months ago
2000
Springer
This paper discusses the issues that arise in the design and implementation of an industrialstrength evolutionary-based system for the optimization of the monthly work schedules f...
104
click to vote
KBSE
2010
IEEE
15 years 9 days ago
2010
IEEE
Variability models represent the common and variable features of products in a product line. Several variability modeling languages have been proposed in academia and industry; ho...
ACCV
2010
Springer
14 years 9 months ago
2010
Springer
A general method for text localization and recognition in real-world images is presented. The proposed method is novel, as it (i) departs from a strict feed-forward pipeline and re...
114
click to vote
ICCV
2009
IEEE
16 years 6 months ago
2009
IEEE
We present a fast and robust system for estimating structure
and motion using a stereo pair, with straight lines as
features. Our first set of contributions are efficient algorit...