Sciweavers

1532 search results - page 260 / 307
» The Symbol Grounding Problem
Sort
View
EUROGP
2010
Springer
160views Optimization» more  EUROGP 2010»
15 years 28 days ago
Improving the Generalisation Ability of Genetic Programming with Semantic Similarity based Crossover
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...
ACMDIS
2010
ACM
15 years 1 days ago
Visual design of physical user interfaces for NFC-based mobile interaction
Near Field Communication (NFC) can facilitate mobile interaction with everyday objects, associated digital information and ubiquitous services. Despite the simplicity of the touch...
Alina Hang, Gregor Broll, Alexander Wiethoff
CORR
2010
Springer
90views Education» more  CORR 2010»
14 years 12 months ago
Logical complexity of graphs: a survey
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 ...
Oleg Pikhurko, Oleg Verbitsky
CORR
2010
Springer
85views Education» more  CORR 2010»
14 years 12 months ago
The Motif Tracking Algorithm
: 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, ...
William O. Wilson, Phil Birkin, Uwe Aickelin
FMSD
2006
131views more  FMSD 2006»
14 years 12 months ago
Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude
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...
Peter Csaba Ölveczky, José Meseguer, C...