6016 search results - page 990 / 1204 » The semantics of graphical languages |
200
click to vote
SDL
2001
15 years 8 months ago
2001
Abstract. We describe an approach for the verification of quantitative temporal properties of SDL specifications, which adapts techniques developed for timed automata [2]. With res...
179
click to vote
IJCAI
2003
15 years 8 months ago
2003
This paper reports work on automated meta-data creation for multimedia content. The approach results in the generation of a conceptual index of the content which may then be searc...
176
click to vote
TAMODIA
2004
15 years 8 months ago
2004
This paper shows how information visualization techniques can be used to improve the effectiveness of task model representations. In particular, we discuss how fisheye and semanti...
171
click to vote
ISTA
2003
15 years 8 months ago
2003
: A new approach of building enterprise distributed applications for layer of business rules as standard part of architecture is proposed in this paper. The approach uses symbolic ...
171
click to vote
AAAI
2000
15 years 8 months ago
2000
In this paper, we analyse a concept of total knowledge based on the idea that an agent's total knowledge is the strongest proposition the agent knows. We propose semantics fo...