3047 search results - page 322 / 610 » A Temporal Consensus Model |
176
click to vote
CHARME
2001
Springer
15 years 10 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
180
click to vote
INFORMATICALT
1998
15 years 6 months ago
1998
Principles of the framework called time series forecasting automation are presented. It is required in processing massive temporal data sets and creating completely user-oriented f...
176
click to vote
ACL
2012
13 years 9 months ago
2012
Temporal reasoners for document understanding typically assume that a document’s creation date is known. Algorithms to ground relative time expressions and order events often re...
179
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
Given the video of a still background occluded by a fluid dynamic texture (FDT), this paper addresses the problem of separating the video sequence into its two constituent layers....
202
click to vote
TIME
2006
IEEE
16 years 17 days ago
2006
IEEE
Querying its own history is an important mechanism in the computations, especially those interacting with people or other computations such as transaction processing, electronic d...