4961 search results - page 648 / 993 » Homomorphism-Homogeneous Relational Structures |
171
click to vote
ACTA
2007
15 years 6 months ago
2007
Abstract. In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural p...
166
click to vote
ALGORITHMICA
2010
15 years 6 months ago
2010
We divide a string into k segments, each with only one sort of symbols, so as to minimize the total number of exceptions. Motivations come from machine learning and data mining. F...
163
click to vote
COGSCI
2008
15 years 6 months ago
2008
This article reports the structure of associations among 101 common verbs and body parts. The verbs are those typically learned by children learning English prior to 3 years of ag...
201
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We propose a new class of game-theoretic models for network formation in which strategies are not directly related to edge choices, but instead correspond more generally to the ex...
157
click to vote
ENTCS
2006
15 years 6 months ago
2006
Motivated by the concerns of theorem-proving, we generalise the notion of proof tree to that of hierarchical proof tree. Hierarchical trees extend ordinary trees by adding partial...