3047 search results - page 207 / 610 » A Temporal Consensus Model |
164
click to vote
CAISE
1998
Springer
15 years 9 months ago
1998
Springer
We show how model extensibility of object-oriented data management systems can be achieved through the combination of a highlevel core object data model and an architecture designe...
137
Voted
AAAI
2010
15 years 7 months ago
2010
The current methods used to mine and analyze temporal social network data make two assumptions: all edges have the same strength, and all parameters are time-homogeneous. We show ...
165
click to vote
ACL
2012
13 years 8 months ago
2012
Mining retrospective events from text streams has been an important research topic. Classic text representation model (i.e., vector space model) cannot model temporal aspects of d...
227
Voted
SPIN
2001
Springer
15 years 10 months ago
2001
Springer
p2b is a research tool that translates Promela programs to boolean representations of the automata associated with them. These representations conform to the input syntax of the wi...
155
click to vote
FMCAD
2006
Springer
15 years 9 months ago
2006
Springer
In this paper we present a complete method for verifying properties expressed in the temporal logic CTL. In contrast to the majority of verification methods presented in recent yea...