3239 search results - page 156 / 648 » A Logical Process Calculus |
100
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In this paper we work on (bi)simulation semantics of processes that exhibit both nondeterministic and probabilistic behaviour. We propose a probabilistic extension of the...
107
click to vote
COOPIS
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper we present an implementation of a constraint solving module, CLP(Flex), for dealing with unification in an equality theory for terms with flexible arity function symb...
110
click to vote
ICTAI
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper describes an attempt to devise a knowledge discovery model that is inspired from the two theoretical frameworks of selectionism and constructivism in human cognitive le...
CONCUR
2007
Springer
15 years 9 months ago
2007
Springer
