4008 search results - page 303 / 802 » An expressive language of signatures |
161
click to vote
ENGL
2007
15 years 6 months ago
2007
—In previous works, we have presented the advantages of using a domain ontology and annotations on information retrieval as well as the translation problems between languages wit...
206
click to vote
JCSS
2000
15 years 6 months ago
2000
The paper investigates the use of topological annotations (called topological invariants) to answer topological queries in spatial databases. The focus is on the translation of to...
207
click to vote
MICAI
2010
Springer
15 years 5 months ago
2010
Springer
Music is a form of expression. Since machines have limited capabilities in this sense, our main goal is to model musical composition process, to allow machines to express themselve...
162
click to vote
SAS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Properties of programs can be formulated using various techdataflow analysis, abstract interpretation and type-like inference systems. This paper reconstructs strictness...
311
click to vote
CONCUR
2012
Springer
13 years 9 months ago
2012
Springer
We introduce a nominal actor-based language and study its expressive power. We have identified the presence/absence of fields as a relevant feature: the dynamic creation of names...