This paper examines the impact of semantic control on the ability of Genetic Programming (GP) to generalise via a semantic based crossover operator (Semantic Similarity based Cross...
Nguyen Quang Uy, Nguyen Thi Hien, Nguyen Xuan Hoai...
Near Field Communication (NFC) can facilitate mobile interaction with everyday objects, associated digital information and ubiquitous services. Despite the simplicity of the touch...
We discuss the definability of finite graphs in first-order logic with two relation symbols for adjacency and equality of vertices. The logical depth D(G) of a graph G is equal to ...
: The search for patterns or motifs in data represents a problem area of key interest to finance and economic researchers. In this paper we introduce the Motif Tracking Algorithm, ...
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...