1466 search results - page 99 / 294 » Complexity of Reasoning over Temporal Data Models |
171
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
Manna and Pnueli have extensively shown how a mixture of first-order logic (FOL) and discrete Linear time Temporal Logic (LTL) is sufficient to precisely state verification problem...
270
click to vote
ICDE
2008
IEEE
16 years 5 months ago
2008
IEEE
Abstract- Data streams of real numbers are generated naturally in many applications. The technology of online subsequence searching in data streams becomes more and more important ...
168
click to vote
DIS
2009
Springer
15 years 11 months ago
2009
Springer
Some challenges in frequent pattern mining from data streams are the drift of data distribution and the computational efficiency. In this work an additional challenge is considered...
121
click to vote
ADBIS
2005
Springer
15 years 10 months ago
2005
Springer
Form documents or screen forms bring essential information on the data manipulated by an organization. They can be considered as different but often overlapping views of its whole...
116
click to vote
ERCIM
2010
15 years 4 months ago
2010
Interactive multimedia performances are rapidly gaining ground within performing arts communities nowadays, mainly due to breakthroughs in humancomputer interaction technologies, ...