6794 search results - page 1105 / 1359 » Semantics of Visual Languages |
134
click to vote
DEXAW
2002
IEEE
15 years 9 months ago
2002
IEEE
The latest ontology languages can be translated into a description logic (DL), thus providing them with a formal semantics and associated reasoning procedures. We introduce the or...
126
click to vote
LICS
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper is about combining nondeterminism and probabilities. We study this phenomenon from a domain theoretic point of view. In domain theory, nondeterminism is modeled using t...
212
click to vote
WCRE
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper we describe a technique that can be used to annotate source code with syntactic tags in XML format. This is achieved by modifying the parser generator bison to emit ...
138
click to vote
LCTRTS
2001
Springer
15 years 9 months ago
2001
Springer
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...
124
click to vote
TSD
2001
Springer
15 years 9 months ago
2001
Springer
The problem of automatic text segmentation is subcategorized into two different problems: thematic segmentation into rather large topically selfcontained sections and splitting int...