2226 search results - page 94 / 446 » Pdk: The System and Its Language |
154
click to vote
ETFA
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper explains the modelling of distributed discrete-event systems in one single simulation model. Our purpose was to evaluate the design of the distributed system and to hig...
171
click to vote
ENTCS
2007
15 years 6 months ago
2007
Automated deduction methods should be specified not procedurally, but declaratively, as inference systems which are proved correct regardless of implementation details. Then, di...
157
click to vote
IAT
2003
IEEE
15 years 11 months ago
2003
IEEE
Based on our previous work on the formal specification language SLABS as well as a methodology and modelling language for modelling and specifying multi-agent systems, we further ...
170
click to vote
TIME
2005
IEEE
15 years 11 months ago
2005
IEEE
The language of timed µCRL is an extension of an ACP-style process algebra-based language µCRL with time-related features. In this paper we describe this language and its equati...
154
click to vote
NLPRS
2001
Springer
15 years 10 months ago
2001
Springer
It is important for future NLP systems to formulate the semantic equivalence (and more generally, the semantic similarity) of natural language expressions. In particular, paraphra...