3239 search results - page 156 / 648 » A Logical Process Calculus |
CORR
2010
Springer
15 years 1 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...
COOPIS
2004
IEEE
15 years 4 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...
ICTAI
2009
IEEE
15 years 7 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 7 months ago
2007
Springer
LPAR
2005
Springer
15 years 6 months ago
2005
Springer
