342 search results - page 26 / 69 » Coalgebraic Symbolic Semantics |
SEMCO
2009
IEEE
14 years 4 months ago
2009
IEEE
—CSML is a semantic markup language created for the publishing and sharing of conceptual spaces, which are geometric structures that represent semantics at the conceptual level. ...
GECCO
2009
Springer
14 years 4 months ago
2009
Springer
We propose a crossover operator that works with genetic programming trees and is approximately geometric crossover in the semantic space. By defining semantic as program’s eval...
ISM
2005
IEEE
14 years 3 months ago
2005
IEEE
— For efficient video data management, ‘video data mining’ is required to discover ‘semantic patterns’ which are not only previously unknown and interesting, but also as...
PRL
2008
13 years 9 months ago
2008
Structural analysis in handwritten mathematical expressions focuses on interpreting the recognized symbols using geometrical information such as relative sizes and positions of th...
GC
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Behavioural equivalences on open systems are usually defined by comparing system behaviour in all environments. Due to this “universal” quantification over the poss...