1188 search results - page 75 / 238 » Testing Semantics: Connecting Processes and Process Logics |
171
Voted
IWFM
2003
15 years 5 months ago
2003
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...
106
click to vote
ISCAS
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we study the effectiveness of the multilevel paradigm in considerably reducing the diagnosis latency of distributed algorithms for fault detection in networks with ...
157
click to vote
ICTAC
2009
Springer
15 years 1 months ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
124
click to vote
ICIP
2003
IEEE
16 years 5 months ago
2003
IEEE
Knowledge-based fuzzy inference and neural learning are used in this paper in order to model the event recognition task in semantic video analysis. The advantage of their use is t...
108
click to vote
COLING
1990
15 years 5 months ago
1990
In any system for Natural Language Processing having a dictionary, the question arises as to whiclh entries are included in it. In this paper, I address the subquestion as to whet...