Sciweavers

3680 search results - page 153 / 736
» cases 2010
Sort
View
JAPLL
2010
111views more  JAPLL 2010»
15 years 1 months ago
The complexity of satisfiability for fragments of hybrid logic - Part I
The satisfiability problem of hybrid logics with the downarrow binder is known to be undecidable. This initiated a research program on decidable and tractable fragments. In this p...
Arne Meier, Martin Mundhenk, Thomas Schneider 0002...
IGARSS
2010
15 years 4 months ago
Towards Bayesian estimator selection for QuikSCAT wind and rain estimation
The QuikSCAT scatterometer infers wind vectors over the ocean using measurements of the surface backscatter. During rain events the QuikSCAT observations are subject to rain conta...
Michael P. Owen, David G. Long
FIT
2010
15 years 1 months ago
Building AS-IS process models from task descriptions
Business processes have to adopt the changes driven by the market to remain competitive. This requires improvement of business processes, which can be carried out by understanding...
Azeem Lodhi, Gamal Kassem, Veit Köppen, Gunte...
LREC
2010
107views Education» more  LREC 2010»
15 years 7 months ago
Resource and Service Centres as the Backbone for a Sustainable Service Infrastructure
Currently, research infrastructures are being designed and established in many disciplines, all partly to address the problem that they all suffer from an enormous fragmentation o...
Peter Wittenburg, Núria Bel, Lars Borin, Ge...
ICPR
2010
IEEE
16 years 1 days ago
The Detection of Concept Frames Using Clustering Multi-Instance Learning
Abstract—The classification of sequences requires the combination of information from different time points. In this paper the detection of facial expressions is considered. Exp...
David Tax, Michel Valstar