4836 search results - page 740 / 968 » Exploring the Similarity Space |
175
click to vote
JSS
2006
15 years 7 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
223
click to vote
KAIS
2006
15 years 7 months ago
2006
Frequent itemset mining was initially proposed and has been studied extensively in the context of association rule mining. In recent years, several studies have also extended its a...
168
click to vote
NPL
2006
15 years 7 months ago
2006
A novel neural network model is described that implements context-dependent learning of complex sequences. The model utilises leaky integrate-and-fire neurons to extract timing inf...
206
click to vote
SIGMETRICS
2008
ACM
15 years 7 months ago
2008
ACM
In this paper, we discuss recent work on buffer sizing in the context of an ISP's need to offer and guarantee competitive Service Level Agreements (SLAs) to its customers. Si...
171
click to vote
STTT
2008
15 years 7 months ago
2008
Abstract. This paper shows how a formal method in the form of Coloured Petri Nets (CPNs) and the supporting CPN Tools have been used in the development of the Course of Action Sche...