Abstract: The goal of information extraction (IE) is to find desired pieces of information in natural language texts and store them in a form that is suitable for automatic queryi...
The Petri Net Markup Language (PNML) is an XML-based interchange format for Petri nets. In order to support different versions of Petri nets and, in particular, future versions of ...
Online publications are becoming an important information source. Due to the variety of standards and other forms of best practices used in composing online publications, preserva...
Universities need to respond to a change in the mix of student profiles from a majority of the traditional academically committed student to a majority of the students who seek a ...
In this paper we report some progress in applying timed automata technology to large-scale problems. We focus on the problem of finding maximal stabilization time for combinationa...