1636 search results - page 71 / 328 » Type-Theoretic Functional Semantics |
137
click to vote
PADL
2004
Springer
15 years 9 months ago
2004
Springer
Temporal media is information that is directly consumed by a user, and that varies with time. Examples include music, digital sound files, computer animations, and video clips. I...
113
Voted
ICDE
1993
IEEE
15 years 7 months ago
1993
IEEE
The IsaLog model and language are presented. The model has complex objects with classes, relations, and isa hierarchies. The language is strongly typed and declarative. The main i...
138
Voted
ESWS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. This research explores a new method for Semantic Web service matchmaking based on iSPARQL strategies, which enables to query the Semantic Web with techniques from traditi...
176
Voted
IIWAS
2004
15 years 5 months ago
2004
Abstract: To enable efficient access to multimedia content, the media data has to be augmented by semantic metadata and functionality. The semantic representation has to be integra...
154
click to vote
ENTCS
2006
15 years 3 months ago
2006
Trace semantics has been defined for various non-deterministic systems with different input/output types, or with different types of "non-determinism" such as classical ...