7099 search results - page 360 / 1420 » Context for models of concurrency |
185
click to vote
IPL
2010
15 years 6 months ago
2010
Resource bisimilarity has been proposed in the literature on concurrency theory as a notion of bisimilarity over labeled transition systems that takes into account the number of c...
210
Voted
DATE
2003
IEEE
16 years 26 days ago
2003
IEEE
Given the growth in application-specific processors, there is a strong need for a retargetable modeling framework that is capable of accurately capturing complex processor behavi...
228
click to vote
LICS
1991
IEEE
15 years 11 months ago
1991
IEEE
When logic programming is based on the proof theory of intuitionistic logic, it is natural to allow implications in goals and in the bodies of clauses. Attempting to prove a goal ...
155
click to vote
EPIA
2009
Springer
16 years 2 months ago
2009
Springer
In this paper, we will analyze the behavior of several parameters, namely type of contexts, similarity measures, and word space models, in the task of word similarity extraction fr...
188
Voted
ICARIS
2004
Springer
16 years 29 days ago
2004
Springer
We propose that bio-inspired algorithms are best developed and analysed in the context of a multidisciplinary conceptual framework that provides for sophisticated biological models...