6583 search results - page 958 / 1317 » Semantic Analysis Patterns |
182
click to vote
ACSD
2001
IEEE
15 years 8 months ago
2001
IEEE
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
161
click to vote
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
Verification and compliance testing are required if agents are to be delegated responsibility for legally binding contracts, for example in electronic markets. This paper describes...
156
click to vote
VL
1998
IEEE
15 years 8 months ago
1998
IEEE
We report on the development of a visual programming environment for building applications for execution on a range of parallel computing platforms. This work exploits the dataflo...
147
click to vote
DEXAW
1995
IEEE
15 years 8 months ago
1995
IEEE
Digital libraries can take advantage of documents that have their content (semantics) explicitly represented as knowledge structures. These knowledge-rich documents can be created ...
145
click to vote
FLAIRS
2008
15 years 7 months ago
2008
Although various methods for the evaluation of intelligent systems have been proposed in the past, almost no techniques are present that support the manual inspection of knowledge...