3750 search results - page 171 / 750 » Timed Automata Patterns |
180
click to vote
ECSA
2007
Springer
15 years 10 months ago
2007
Springer
Architectural design has been characterized as making a series of decisions that have system-wide impact. These decisions have side effects which can have significant impact on the...
209
click to vote
GRC
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract--Sequential pattern mining is a crucial but challenging task in many applications, e.g., analyzing the behaviors of data in transactions and discovering frequent patterns ...
211
click to vote
ADC
2008
Springer
16 years 25 days ago
2008
Springer
Mining frequent patterns in a data stream is very challenging for the high complexity of managing patterns with bounded memory against the unbounded data. While many approaches as...
186
click to vote
WCET
2007
15 years 7 months ago
2007
Our research focuses on formally bounded WCET analysis, where we aim to provide absolute guarantees on execution time bounds. In this paper, we describe how amortisation can be us...
187
click to vote
KDD
2002
ACM
16 years 6 months ago
2002
ACM
In this paper we propose a scaling-up method that is applicable to essentially any induction algorithm based on discrete search. The result of applying the method to an algorithm ...