Sciweavers

8928 search results - page 88 / 1786
» Modeling Current Events
Sort
View
SARA
2005
Springer
15 years 11 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 10 months ago
The Complexity of Model Checking in Modal Event Calculi with Quantifiers
Iliano Cervesato, Massimo Franceschet, Angelo Mont...
RTSS
1993
IEEE
15 years 10 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 10 months ago
Towards Event-Driven Modelling for Database Design
Maguelonne Teisseire, Pascal Poncelet, Rosine Cicc...