4008 search results - page 168 / 802 » An expressive language of signatures |
174
click to vote
VL
2007
IEEE
16 years 21 days ago
2007
IEEE
Spider diagrams are a visual logic capable of makeing statements about relationships between sets and their cardinalities. Various meta-level results for spider diagrams have been...
142
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
The Unified Modeling Language UML is a rich language so that it seem not feasible to give a single semantics for the complete language in one ste In order to define the semantics,...
151
click to vote
ICDT
2007
ACM
16 years 18 days ago
2007
ACM
Moving objects produce trajectories. We describe a data model for trajectories and trajectory samples and an efficient way of modeling uncertainty via beads for trajectory samples....
151
click to vote
PEPM
2007
ACM
16 years 17 days ago
2007
ACM
Visual notations are pervasive in circuit design, control systems, and increasingly in mainstream programming environments. Yet many of the foundational advances in programming la...
173
click to vote
CIVR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we describe ImageCLEF1, the cross language image retrieval track of the Cross Language Evaluation Forum (CLEF3). We instigated and ran a pilot experiment in...