3993 search results - page 100 / 799 » Matchmaking for Structured Objects |
108
click to vote
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
Ownership domain annotations enable obtaining at compiletime the system’s execution structure from the annotated program. The execution structure is sound, hierarchical (and thu...
109
click to vote
DAGSTUHL
2006
15 years 4 months ago
2006
The extended abstract describes a method for recognizing similar sub-parts of objects described by 3D polygonal meshes. The innovation of this method is the coupling of structure a...
ACL
1998
15 years 4 months ago
1998
The problem of parsing ambiguous structures concerns (i) their representation and (ii) the specification of mechanisms allowing to delay and control their evaluation. We first pro...
129
click to vote
ROOM
2000
15 years 4 months ago
2000
In this paper we provide a systematic formal interpretation for most elements of the UML notation. This interpretation, in a structured temporal logic, enables precise analysis of...
ACS
2007
15 years 3 months ago
2007
A 2-categorical generalisation of the notion of elementary topos is provided, and some of the properties of the yoneda structure [SW78] it generates are explored. Results enabling ...