Sciweavers

2098 search results - page 174 / 420
» Syntactic Topic Models
Sort
View
CICLING
2008
Springer
14 years 2 days ago
A Semantics-Enhanced Language Model for Unsupervised Word Sense Disambiguation
An N-gram language model aims at capturing statistical word order dependency information from corpora. Although the concept of language models has been applied extensively to handl...
Shou-de Lin, Karin Verspoor
ACSD
2010
IEEE
222views Hardware» more  ACSD 2010»
13 years 8 months ago
Efficient Model Checking of PSL Safety Properties
Abstract--Safety properties are an important class of properties as in the industrial use of model checking a large majority of the properties to be checked are safety properties. ...
Tuomas Launiainen, Keijo Heljanko, Tommi A. Juntti...
SETN
2010
Springer
14 years 5 months ago
Feature Selection for Improved Phone Duration Modeling of Greek Emotional Speech
In the present work we address the problem of phone duration modeling for the needs of emotional speech synthesis. Specifically, relying on ten well known machine learning techniqu...
Alexandros Lazaridis, Todor Ganchev, Iosif Mporas,...
IJSI
2008
126views more  IJSI 2008»
13 years 10 months ago
Modelling Route Instructions for Robust Human-Robot Interaction on Navigation Tasks
In this paper, we demonstrate the use of qualitative spatial modelling as the foundation for the conceptual representation of route instructions, to enable robust humanrobot intera...
Hui Shi, Bernd Krieg-Brückner
CADE
2009
Springer
14 years 10 months ago
Decidability Results for Saturation-Based Model Building
Abstract. Saturation-based calculi such as superposition can be successfully instantiated to decision procedures for many decidable fragments of first-order logic. In case of termi...
Matthias Horbach, Christoph Weidenbach