3993 search results - page 274 / 799 » Matchmaking for Structured Objects |
125
click to vote
FSTTCS
2004
Springer
15 years 9 months ago
2004
Springer
This paper introduces an extension of linear temporal logic that allows to express properties about systems that are composed of entities (like objects) that can refer to each othe...
151
click to vote
GRAPHICSINTERFACE
1997
15 years 5 months ago
1997
We present a modelling method and graphical user interface for the creation of natural branching structures such as plants. Structural and geometric information is encapsulated in...
130
click to vote
EJC
2010
15 years 4 months ago
2010
Abstract. In this paper we study dualities of graphs and, more generally, relational structures with respect to full homomorphisms, that is, mappings that are both edge- and non-ed...
132
click to vote
PDP
2008
IEEE
15 years 10 months ago
2008
IEEE
Searching for similar objects in metric-space databases can be efficiently solved by using index data structures. A number of alternative sequential indexes have been proposed in...
129
Voted
EEMMAS
2007
Springer
15 years 10 months ago
2007
Springer
We investigate the application of a logic-based framework representing an agent environment as a composite structure that evolves over time. Such a complex structure contains the i...