Sciweavers

3897 search results - page 375 / 780
» complexity 2010
Sort
View
KI
2010
Springer
15 years 4 months ago
Situation-Specific Intention Recognition for Human-Robot Cooperation
Recognizing human intentions is part of the decision process in many technical devices. In order to achieve natural interaction, the required estimation quality and the used comput...
Peter Krauthausen, Uwe D. Hanebeck
LPAR
2010
Springer
15 years 4 months ago
SAT Encoding of Unification in EL
Unification in Description Logics has been proposed as a novel inference service that can, for example, be used to detect redundancies in ontologies. In a recent paper, we have sho...
Franz Baader, Barbara Morawska
LPAR
2010
Springer
15 years 4 months ago
Hardness of Preorder Checking for Basic Formalisms
We investigate the complexity of preorder checking when the specification is a flat finite-state system whereas the implementation is either a non-flat finite-state system or a st...
Laura Bozzelli, Axel Legay, Sophie Pinchinat
MICCAI
2010
Springer
15 years 4 months ago
Efficient MR Image Reconstruction for Compressed MR Imaging
In this paper, we propose an efficient algorithm for MR image reconstruction. The algorithm minimizes a linear combination of three terms corresponding to a least square data fitti...
Junzhou Huang, Shaoting Zhang, Dimitris N. Metaxas
NAACL
2010
15 years 4 months ago
An Unsupervised Aspect-Sentiment Model for Online Reviews
With the increase in popularity of online review sites comes a corresponding need for tools capable of extracting the information most important to the user from the plain text da...
Samuel Brody, Noemie Elhadad