Sciweavers

107 search results - page 18 / 22
» Labelled modal tableaux
Sort
View
CVPR
2010
IEEE
13 years 7 months ago
Topic regression multi-modal Latent Dirichlet Allocation for image annotation
We present topic-regression multi-modal Latent Dirichlet Allocation (tr-mmLDA), a novel statistical topic model for the task of image and video annotation. At the heart of our new...
Duangmanee Putthividhya, Hagai Thomas Attias, Srik...
IFM
2010
Springer
159views Formal Methods» more  IFM 2010»
13 years 6 months ago
A Logical Framework to Deal with Variability
We present a logical framework that is able to deal with variability in product family descriptions. The temporal logic MHML is based on the classical Hennessy–Milner logic with ...
Patrizia Asirelli, Maurice H. ter Beek, Alessandro...
COSIT
2007
Springer
85views GIS» more  COSIT 2007»
14 years 1 months ago
Linguistic and Nonlinguistic Turn Direction Concepts
This paper discusses the conceptualization of turn directions along traveled routes. Foremost, we are interested in the influence that language has on the conceptualization of turn...
Alexander Klippel, Daniel R. Montello
COST
2009
Springer
237views Multimedia» more  COST 2009»
14 years 2 days ago
Combining Audio and Video for Detection of Spontaneous Emotions
The paper presents our initial attempts in building an audio video emotion recognition system. Both, audio and video sub-systems are discussed, and description of the database of s...
Rok Gajsek, Vitomir Struc, Simon Dobrisek, Janez Z...
PTS
2007
102views Hardware» more  PTS 2007»
13 years 8 months ago
Testing and Model-Checking Techniques for Diagnosis
Black-box testing is a popular technique for assessing the quality of a system. However, in case of a test failure, only little information is available to identify the root-cause ...
Maxim Gromov, Tim A. C. Willemse