Sciweavers

73 search results - page 1 / 15
» LOCK : An Historical Perspective
Sort
View
LREC
2010
196views Education» more  LREC 2010»
13 years 6 months ago
Event Models for Historical Perspectives: Determining Relations between High and Low Level Events in Text, Based on the Classifi
In this paper, we report on a study that was performed within the "Semantics of History" project on how descriptions of historical events are realized in different types...
Agata Cybulska, Piek Vossen
JNSM
2007
109views more  JNSM 2007»
13 years 4 months ago
Routing Management in the PSTN and the Internet: A Historical Perspective
Abstract. Two highly visible public communication networks are the publicswitched telephone network (PSTN) and the Internet. While they typically provide different services and the...
Deep Medhi
TABLEAUX
1998
Springer
13 years 9 months ago
Model Checking: Historical Perspective and Example (Extended Abstract)
ple (Extended Abstract) Edmund M. Clarke and Sergey Berezin Carnegie Mellon University -- USA Model checking is an automatic verification technique for finite state concurrent syst...
Edmund M. Clarke, Sergey Berezin