Sciweavers

6018 search results - page 355 / 1204
» Factored Translation Models
Sort
View
ICWS
2004
IEEE
15 years 8 months ago
Logic-based Web Services Composition: From Service Description to Process Model
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses Semantic Web service language (DAML-S) f...
Jinghai Rao, Peep Küngas, Mihhail Matskin
CORR
2004
Springer
142views Education» more  CORR 2004»
15 years 6 months ago
Modeling and Validating Hybrid Systems Using VDM and Mathematica
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
Bernhard K. Aichernig, Reinhold Kainhofer
185
Voted
ICASSP
2011
IEEE
14 years 10 months ago
Fundamental diversity, multiplexing, and array gain tradeoff under different MIMO channel models
Following the seminal work of Zheng and Tse on the diversity and multiplexing tradeoff (DMT) of MIMO channels, in this paper we introduce the array gain to investigate the fundame...
Luis Garcia Ordóñez, Daniel Pé...
CVPR
2005
IEEE
16 years 8 months ago
Modelling Dynamic Scenes by Registering Multi-View Image Sequences
In this paper, we present a new variational method for multi-view stereovision and non-rigid three-dimensional motion estimation from multiple video sequences. Our method minimize...
Jean-Philippe Pons, Renaud Keriven, Olivier D. Fau...
FGR
2002
IEEE
155views Biometrics» more  FGR 2002»
15 years 11 months ago
Model-Based Face Tracking for View-Independent Facial Expression Recognition
Facial expression recognition is necessary for designing any realistic human-machine interfaces. Previous published facial expression recognition systems achieve good recognition ...
Salih Burak Göktürk, Carlo Tomasi, Bernd...