The paper described a novel method for detecting and identifying faults that occur in the actuator of control systems with input and output signals related to the component itself....
Data Stream Management Systems (DSMS) operate under strict performance requirements. Key to meeting such requirements is to efficiently handle time-critical tasks such as managing...
Irina Botan, Gustavo Alonso, Peter M. Fischer, Don...
The design of practical language applications by means of statistical approaches requires annotated data, which is one of the most critical constraint. This is particularly true f...
Marco Dinarelli, Alessandro Moschitti, Giuseppe Ri...
Researchers in commonsense, qualitative spatial and temporal reasoning (QSTR) provide flexible and intuitive methods for reasoning about vague and uncertain information including ...
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...