Sciweavers

8928 search results - page 88 / 1786
» Modeling Current Events
Sort
View
SARA
2005
Springer
15 years 5 months ago
Multinomial Event Model Based Abstraction for Sequence and Text Classification
Dae-Ki Kang, Jun Zhang 0002, Adrian Silvescu, Vasa...
KR
1998
Springer
15 years 4 months ago
The Complexity of Model Checking in Modal Event Calculi with Quantifiers
Iliano Cervesato, Massimo Franceschet, Angelo Mont...
RTSS
1993
IEEE
15 years 4 months ago
Symbolic Model Checking for Event-Driven Real-Time Systems
Jin Yang, Aloysius K. Mok, Farn Wang
VLDB
1994
ACM
113views Database» more  VLDB 1994»
15 years 4 months ago
Towards Event-Driven Modelling for Database Design
Maguelonne Teisseire, Pascal Poncelet, Rosine Cicc...