MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "R/ for Semantics." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

258 documents found, showing 1 through 10. Next 10 →

ATOM

R.: Semantic Matching of Web Service Policies
by Kunal Verma, Rama Akkiraju, Richard Goodwin — 2005 — Proceedings of the Second Workshop on SDWP, 2005
…SEMANTIC MATCHING OF WEB SERVICE POLICIES Kunal Verma 1 , Rama Akkiraju 2 , Richard Goodwin 2 1…
Cited by 7 (3 self) – Add To MetaCart

R.: Semantics-based Publication Management using RSS and FOAF
by Michel Klein, Peter Mika, Radu Serban — 2005 — In: Proc. Poster Track, 4th International Semantic Web Conference (ISWC2005) (2005
…Semantics-based Publication Management using RSS and FOAF Abstract Listing references…
Cited by 3 (0 self) – Add To MetaCart

SPARQLeR: Extended SPARQL for Semantic Association Discovery
by Krys J. Kochut, Maciej Janik — 2007 — Proc. of the 4th European Semantic Web Conference (ESWC
…SPARQLeR: Extended Sparql for Semantic Association Discovery 1 Krys J. Kochut and Maciej Janik…
Cited by 9 (2 self) – Add To MetaCart

A Unified Semantics for Constraint Handling Rules in Transaction Logic
by Marc Meister, Khalil Djelloul, Jacques Robin
… which is executable. This new T R semantics obviates the need for disjoint declarative and operational…
Cited by 1 (0 self) – Add To MetaCart

Three DimensioL o f Kno wledge Representatio in Wo
by Daniel Oberle Steen, In Wonderweb — 2005
… for developing foundations of and infrastructure for the Semantic Web. In this article we discuss Wonder…
Add To MetaCart

DFL - A Hybrid Integration of Descriptions and Rules, using F-Logic as an Underlying Semantics
by Mira Balaban, Adi Eyal — 1996 — In DL
… Languages reasoner, and R -- The Rules reasoner. The reasoners can operate under different semantical…
Cited by 1 (0 self) – Add To MetaCart

Timing Analysis in COSPAN
by Rajeev Alur, Robert P. Kurshan — 1996 — In Hybrid Systems III
… described in the language S/R [Kur94]. The semantics of such a model M is the !-language L(M ) corresponding…
Cited by 38 (7 self) – Add To MetaCart

Guard Simplification in CHR programs
by Jon Sneyers, Tom Schrijvers, Bart Demoen — 2004 — In Proceedings of the 19th Workshop on (Constraint) Logic Programming (W(C)LP’05
… operational semantics !r [4]. In !r, the order in which rules are tried is the textual order in which…
Cited by 3 (3 self) – Add To MetaCart

Semantics Specification in an Algebraic Compiler
by Teodor Rus, Robert Kooima — 1999
… rule r : A 0 = t 0 A 1 t 1 A 2 t 2 : : : A n t n is interpreted as a semantic domain, denoted by [[A i…
Add To MetaCart

Comparison of data and process refinement+
by unknown authors — 2005
… When considering just the process view, R. van Glabbeek [1] surveys 155 differ-ent testing semantics…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB