445 search results - page 25 / 89 » Classifying model-theoretic properties |
COMPLEX
2009
Springer
14 years 4 months ago
2009
Springer
In this article we evaluate an epidemic algorithm for the synchronization of coupled Kuramoto oscillators in complex Peer-to-Peer topologies. The algorithm requires a periodic coup...
ICMT
2011
Springer
13 years 1 months ago
2011
Springer
ATL is a language for describing model transformations currently in uni-direction. In our previous work we have shown that transformations of graph structures given in some form ca...
ICDCSW
2002
IEEE
14 years 2 months ago
2002
IEEE
Event-based middleware is currently being applied for application component integration in a range of application domains. As a result, a variety of event services have been propo...
ICIP
2001
IEEE
14 years 11 months ago
2001
IEEE
The use of higher-order local autocorrelations as features for pattern recognition has been acknowledged since many years, but their applicability was restricted to relatively low...
ICML
2005
IEEE
14 years 10 months ago
2005
IEEE
We introduce a novel approach to incorporating domain knowledge into Support Vector Machines to improve their example efficiency. Domain knowledge is used in an Explanation Based ...