211
click to vote
APN
10 years 1 months ago
2015 Springer 
This paper investigates the feature negotiation procedure of the Datagram Congestion Control Protocol (DCCP) in RFC 4340 using Coloured Petri Nets (CPNs). After obtaining a formal ...
150
click to vote
APN
10 years 1 months ago
2015 Springer
Communication structured occurrence nets (csons) are the basic variant of structured occurrence nets which have been introduced to characterise the behaviours of complex evolving s...
142
click to vote
APN
10 years 1 months ago
2015 Springer
A finite word is called Petri net solvable if it is isomorphic to the reachability graph of some unlabelled Petri net. In this paper, the class of two-letter Petri net solvable wo...
134
click to vote
APN
10 years 1 months ago
2015 Springer
Abstract. This paper describes the technical challenges around the modernization process of the GreatSPN framework[15], one of the first Petri net frameworks started in the eighti...
131
click to vote
APN
10 years 1 months ago
2015 Springer
Abstract. SIFT (Scale Invariant Feature Transform) is a complex image processing procedure for matching objects or patterns in images. Involving the computation of Euclidean distan...
|
Artificial Intelligence