Sciweavers

2570 search results - page 190 / 514
» The Semantic Web And Its Languages
Sort
View
SEMWEB
2001
Springer
15 years 11 months ago
Accessing Information and Services on the DAML-Enabled Web
Querying the Web today can be a frustrating activity because the results delivered by syntactically oriented search engines often do not match the intentions of the user. The DARP...
Grit Denker, Jerry R. Hobbs, David L. Martin, Srin...
PADL
2004
Springer
15 years 12 months ago
An Algebraic Theory of Polymorphic Temporal Media
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...
Paul Hudak
COLING
2000
15 years 8 months ago
A Formal Semantics for Generating and Editing Plurals
We present a formal semantics for an objectoriented formalism which allows for the representation of plural objects (such as `Three N', `Most of the N', `Some N',.....
Paul Piwek
JMLC
2000
Springer
15 years 10 months ago
Composable Message Semantics in Oberon
Most object-oriented languages offer a limited number of invocation semantics. At best, they define a default mode of synchronous invocation, plus some keywords to express addition...
Markus Hof
PLILP
1995
Springer
15 years 10 months ago
Local Linear Logic for Locality Consciousness in Multiset Transformation
We use Girard's linear logic (LL) to produce a semantics for Gamma, a multiset transformation language. The semantics improves on the existing structured operational semantics...
Hugh McEvoy, Pieter H. Hartel