Sciweavers

13383 search results - page 376 / 2677
» Abstractions from proofs
Sort
View
ERCIMDL
2000
Springer
137views Education» more  ERCIMDL 2000»
15 years 10 months ago
Personalised Delivery of News Articles from Multiple Sources
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...
Gareth J. F. Jones, David J. Quested, Katherine E....
178
Voted
SARA
2000
Springer
15 years 10 months ago
GIS Databases: From Multiscale to MultiRepresentation
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...
Stefano Spaccapietra, Christine Parent, Christelle...
ECCV
2010
Springer
15 years 10 months ago
Discovering Multipart Appearance Models from Captioned Images
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...
ECCV
2010
Springer
15 years 10 months ago
Probabilistic Deformable Surface Tracking From Multiple Videos
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...
DLOG
2007
15 years 9 months ago
A New Mapping from ALCI to ALC
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...
Yu Ding, Volker Haarslev, Jiewen Wu