3514 search results - page 517 / 703 » A search space |
138
click to vote
ICDE
2005
IEEE
15 years 6 months ago
2005
IEEE
Sequence pattern mining is an important research problem because it is the basis of many other applications. Yet how to efficiently implement the mining is difficult due to the ...
90
Voted
IPPS
2005
IEEE
15 years 6 months ago
2005
IEEE
— Schedule synthesis based on reachability analysis of timed automata has received attention in the last few years. The main strength of this approach is that the expressiveness ...
97
Voted
ISCAS
2005
IEEE
15 years 6 months ago
2005
IEEE
— Simulated Evolution (SimE) is a sound stochastic approximation algorithm based on the principles of adaptation. If properly engineered it is possible for SimE to reach nearopti...
85
Voted
CHARME
2005
Springer
15 years 6 months ago
2005
Springer
Today, verification is becoming the dominating factor for successful circuit designs. In this context formal verification techniques allow to prove the correctness of a circuit ...
113
Voted
DEXA
2005
Springer
15 years 6 months ago
2005
Springer
The main challenge of mining sequential patterns is the high processing cost of support counting for large amount of candidate patterns. For solving this problem, SPAM algorithm wa...