4961 search results - page 220 / 993 » Homomorphism-Homogeneous Relational Structures |
146
click to vote
ICALP
2007
Springer
16 years 19 days 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 ...
158
click to vote
SEMWEB
2007
Springer
16 years 18 days 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...
188
click to vote
GCB
2004
Springer
15 years 12 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...
163
click to vote
MOZ
2004
Springer
15 years 12 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...
153
click to vote
CP
2003
Springer
15 years 11 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 ...