Sciweavers

AAAI
2015
8 years 8 months ago
SMT-Based Validation of Timed Failure Propagation Graphs
Timed Failure Propagation Graphs (TFPGs) are a formalism used in industry to describe failure propagation in a dynamic partially observable system. TFPGs are commonly used to perf...
Marco Bozzano, Alessandro Cimatti, Marco Gario, An...
AAAI
2015
8 years 8 months ago
Splitting a Logic Program Revisited
Lifschitz and Turner introduced the notion of the splitting set and provided a method to divide a logic program into two parts. They showed that the task of computing the answer s...
Jianmin Ji, Hai Wan, Ziwei Huo, Zhenfeng Yuan
AAAI
2015
8 years 8 months ago
Learning Greedy Policies for the Easy-First Framework
Easy-first, a search-based structured prediction approach, has been applied to many NLP tasks including dependency parsing and coreference resolution. This approach employs a lea...
Jun Xie, Chao Ma, Janardhan Rao Doppa, Prashanth M...
AAAI
2015
8 years 8 months ago
Balanced Trade Reduction for Dual-Role Exchange Markets
We consider dual-role exchange markets, where traders can offer to both buy and sell the same commodity in the exchange but, if they transact, they can only be either a buyer or a...
Dengji Zhao, Sarvapali D. Ramchurn, Enrico H. Gerd...
AAAI
2015
8 years 8 months ago
Towards Cognitive Automation of Data Science
A Data Scientist typically performs a number of tedious and time-consuming steps to derive insight from a raw data set. The process usually starts with data ingestion, cleaning, a...
Alain Biem, Maria Butrico, Mark Feblowitz, Tim Kli...
AAAI
2015
8 years 8 months ago
Self-Paced Curriculum Learning
Curriculum learning (CL) or self-paced learning (SPL) represents a recently proposed learning regime inspired by the learning process of humans and animals that gradually proceeds...
Lu Jiang, Deyu Meng, Qian Zhao, Shiguang Shan, Ale...
AAAI
2015
8 years 8 months ago
Unsupervised Word Sense Disambiguation Using Markov Random Field and Dependency Parser
Word Sense Disambiguation is a difficult problem to solve in the unsupervised setting. This is because in this setting inference becomes more dependent on the interplay between d...
Devendra Singh Chaplot, Pushpak Bhattacharyya, Ash...
AAAI
2015
8 years 8 months ago
Approximate Linear Programming for Constrained Partially Observable Markov Decision Processes
In many situations, it is desirable to optimize a sequence of decisions by maximizing a primary objective while respecting some constraints with respect to secondary objectives. S...
Pascal Poupart, Aarti Malhotra, Pei Pei, Kee-Eung ...