Sciweavers

AAAI
2015
10 years 9 days ago
Tractable Interval Temporal Propositional and Description Logics
We design a tractable Horn fragment of the Halpern-Shoham temporal logic and extend it to interval-based temporal description logics, instance checking in which is P-complete for ...
Alessandro Artale, Roman Kontchakov, Vladislav Ryz...
AAAI
2015
10 years 9 days ago
Pattern Decomposition with Complex Combinatorial Constraints: Application to Materials Discovery
Identifying important components or factors in large amounts of noisy data is a key problem in machine learning and data mining. Motivated by a pattern decomposition problem in ma...
Stefano Ermon, Ronan Le Bras, Santosh K. Suram, Jo...
AAAI
2015
10 years 9 days ago
Automatically Creating a Large Number of New Bilingual Dictionaries
This paper proposes approaches to automatically create a large number of new bilingual dictionaries for lowresource languages, especially resource-poor and endangered languages, f...
Khang Nhut Lam, Feras Al Tarouti, Jugal K. Kalita
AAAI
2015
10 years 9 days ago
Tensor-Variate Restricted Boltzmann Machines
Restricted Boltzmann Machines (RBMs) are an important class of latent variable models for representing vector data. An under-explored area is multimode data, where each data point...
Tu Dinh Nguyen, Truyen Tran, Dinh Q. Phung, Svetha...
AAAI
2015
10 years 9 days ago
A Novel Neural Topic Model and Its Supervised Extension
Topic modeling techniques have the benefits of modeling words and documents uniformly under a probabilistic framework. However, they also suffer from the limitations of sensitivi...
Ziqiang Cao, Sujian Li, Yang Liu, Wenjie Li, Heng ...