Sciweavers

2055 search results - page 313 / 411
» Generic Model Refactorings
Sort
View
SEMWEB
2010
Springer
14 years 11 months ago
An Expressive and Efficient Solution to the Service Selection Problem
Given the large number of Semantic Web Services that can be created from online sources by using existing annotation tools, expressive formalisms and efficient and scalable approac...
Daniel Izquierdo, Maria-Esther Vidal, Blai Bonet
ICCV
2007
IEEE
16 years 3 months ago
People-LDA: Anchoring Topics to People using Face Recognition
Topic models have recently emerged as powerful tools for modeling topical trends in documents. Often the resulting topics are broad and generic, associating large groups of people...
Vidit Jain, Erik G. Learned-Miller, Andrew McCallu...
STACS
2009
Springer
15 years 8 months ago
Strong Completeness of Coalgebraic Modal Logics
ABSTRACT. Canonical models are of central importance in modal logic, in particular as they witness strong completeness and hence compactness. While the canonical model construction...
Lutz Schröder, Dirk Pattinson
138
Voted
EMSOFT
2001
Springer
15 years 6 months ago
Interface Theories for Component-Based Design
Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...
Luca de Alfaro, Thomas A. Henzinger
ICCV
2009
IEEE
2030views Computer Vision» more  ICCV 2009»
16 years 6 months ago
Robust Tracking-by-Detection using a Detector Confidence Particle Filter
We propose a novel approach for multi-person trackingby- detection in a particle filtering framework. In addition to final high-confidence detections, our algorithm uses the con...
Michael D. Breitenstein, Fabian Reichlin, Bastian ...