This paper provides simulation practitioners and consumers with a grounding in how discrete-event simulation software works. Topics include discreteevent systems; entities, resour...
WebCLEF is about supporting a user who is an expert in writing a survey article on a specific topic with a clear goal and audience by generating a ranked list with relevant snippet...
Arnold Overwijk, Dong Nguyen, Claudia Hauff, Dolf ...
Link detection has been regarded as a core technology for the Topic Detection and Tracking tasks of new event detection. In this paper we formulate story link detection and new ev...
People when asked a number of questions about a particular topic begin to become knowledgeable about the topic as they look for and find answers to the questions. A question answe...
Marc Light, Abraham Ittycheriah, Andrew Latto, Nan...
Action Labelled transition systems (LTS) have proved to be a fundamental model for describing and proving properties of concurrent systems. In this paper,Multiple Labelled Transit...