13383 search results - page 376 / 2677 » Abstractions from proofs |
166
click to vote
ERCIMDL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Traditional news media report a single set of articles on current news stories. Online news sources make multiple stories on the same topic available re ecting di erent p...
178
Voted
SARA
2000
Springer
15 years 10 months ago
2000
Springer
Cartography is one of the major application areas using geographical databases. Whether it is for the business of producing paper maps for sale, or whether it is for displaying map...
185
click to vote
ECCV
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Even a relatively unstructured captioned image set depicting a variety of objects in cluttered scenes contains strong correlations between caption words and repeated visu...
218
click to vote
ECCV
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. In this paper, we address the problem of tracking the temporal evolution of arbitrary shapes observed in multi-camera setups. This is motivated by the ever growing number...
164
click to vote
DLOG
2007
15 years 9 months ago
2007
Abstract. This paper studies a technique for mapping ALCI knowledge bases into ALC. Worst-case optimal tableau-based procedures for the satisfiability/consistency problem w.r.t. g...