Sciweavers

6794 search results - page 198 / 1359
» Semantics of Visual Languages
Sort
View
CLEF
2006
Springer
14 years 2 months ago
Inter-media Concept-Based Medical Image Indexing and Retrieval with UMLS at IPAL
Abstract. We promote the use of explicit medical knowledge to solve retrieval of information both visual and textual. For text, this knowledge is a set of concepts from a Meta-thes...
Caroline Lacoste, Jean-Pierre Chevallet, Joo-Hwee ...
ECEASST
2008
88views more  ECEASST 2008»
13 years 10 months ago
Reconfiguration of Reo Connectors Triggered by Dataflow
Abstract: Reo is a language for coordinating autonomous components in distributed environments. Coordination in Reo is performed by circuit-like connectors, which are constructed f...
Christian Koehler, David Costa, José Proen&...
ECOWS
2006
Springer
14 years 2 months ago
Semantic Web Glasses and Semantic Resolvers
In this paper, author proposes a solution to make URI Resolver class available in different programming languages. The Semantic Resolver derived from a corresponding .NET or Java ...
Nikita Ogievetsky
POPL
2007
ACM
14 years 10 months ago
Semantics of static pointcuts in aspectJ
In aspect-oriented programming, one can intercept events by writing patterns called pointcuts. The pointcut language of the most popular aspect-oriented programming language, Aspe...
Pavel Avgustinov, Elnar Hajiyev, Neil Ongkingco, O...
VMCAI
2012
Springer
12 years 6 months ago
Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs
We describe a course on the semantics of a simple imperative programming language and on applications to compilers, type systems, static analyses and Hoare logic. The course is ent...
Tobias Nipkow