6794 search results - page 878 / 1359 » Semantics of Visual Languages |
162
click to vote
ECRTS
2005
IEEE
16 years 17 days ago
2005
IEEE
Graphical languages of various sorts are increasingly used for the specification and the design of high-integrity real-time systems. Their coverage however does not extend with a...
168
click to vote
LICS
2005
IEEE
16 years 16 days ago
2005
IEEE
The theme of this paper is profunctors, and their centrality and ubiquity in understanding concurrent computation. Profunctors (a.k.a. distributors, or bimodules) are a generalisa...
184
click to vote
KCAP
2005
ACM
16 years 16 days ago
2005
ACM
This paper describes a new environment, COE, for capturing and formally representing expert knowledge for use in the Semantic Web. COE exploits the ease of use and rapid knowledge...
185
click to vote
CLEF
2005
Springer
16 years 15 days ago
2005
Springer
Abstract. In this paper the methodology followed to build a questionanswering system for the Portuguese language is described. The system modules are built using computational ling...
193
click to vote
DSVIS
2005
Springer
16 years 15 days ago
2005
Springer
Abstract. The ConcurTaskTrees (CTT) is one of the most widely used notations for task modeling, specifically tailored for user interface model-based design. The integration of CTT ...