6016 search results - page 856 / 1204 » The semantics of graphical languages |
203
click to vote
ICALP
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. We present a Hoare logic for a simple imperative whilelanguage with stored commands, ie. stored parameterless procedures. Stores that may contain procedures are called hi...
195
click to vote
ICCS
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Description Logics (DLs) are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from si...
136
click to vote
SEMWEB
2005
Springer
16 years 10 days ago
2005
Springer
Triple20 is a ontology manipulation and visualization tool for languages built on top of the Semantic-Web RDF triple model. In this article we explain how a triple-centered design ...
151
click to vote
SOFSEM
2005
Springer
16 years 10 days ago
2005
Springer
We give a new characterization of those languages that are definable in fragments of LTL where the nesting depths of X and U modalities are bounded by given constants. This brings...
166
click to vote
TSD
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. A formal prosody description framework is introduced together with its relation to language semantics and NLP. The framework incorporates deep prosodic structures based o...