4961 search results - page 220 / 993 » Homomorphism-Homogeneous Relational Structures |
104
Voted
ICALP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We consider the minimum-time reachability problem in concurrent two-player timed automaton game structures. We show how to compute the minimum time needed by a player to ...
113
click to vote
SEMWEB
2007
Springer
15 years 9 months ago
2007
Springer
Semantic relevance among information resources can play an effective role in information retrieval, and there are several different approaches to measure semantic similarities. H...
146
Voted
GCB
2004
Springer
15 years 9 months ago
2004
Springer
: We introduce the novel concept of graph alignment, a generalization of graph isomorphism that is motivated by the commonly used multiple sequence alignments. Graph alignments and...
129
Voted
MOZ
2004
Springer
15 years 9 months ago
2004
Springer
Strasheela provides a means for the composer to create a symbolic score by formally describing it in a rule-based way. The environment defines a rich music representation for comp...
114
Voted
CP
2003
Springer
15 years 8 months ago
2003
Springer
In this paper, we present an algorithm to propagate an n-ary constraint (with n greater than 2) specifying the relative positions of points in a three-dimensional rigid group. The ...