Sciweavers

AAAI
2015
10 years 1 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
10 years 1 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
10 years 1 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
10 years 1 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
10 years 1 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...