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...
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...
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...
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...
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...