461 search results - page 66 / 93 » Temporal granular logic for temporal data mining |
127
click to vote
KDD
2007
ACM
16 years 2 months ago
2007
ACM
Studies have shown that program comprehension takes up to 45% of software development costs. Such high costs are caused by the lack-of documented specification and further aggrava...
123
click to vote
ESWS
2008
Springer
15 years 3 months ago
2008
Springer
A lot of work has been done in the area of data stream processing. Most of the previous approaches regard only relational or XML based streams but do not cover semantically richer ...
141
click to vote
TIME
2006
IEEE
15 years 7 months 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...
110
click to vote
CAV
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Synthesis of finite state systems from full linear time temporal logic (LTL) specifications is gaining more and more attention as several recent achievements have signi...
134
Voted
WSDM
2009
ACM
15 years 8 months ago
2009
ACM
Text streams are becoming more and more ubiquitous, in the forms of news feeds, weblog archives and so on, which result in a large volume of data. An effective way to explore the...