3179 search results - page 186 / 636 » Applications of PCF Theory |
COOPIS
2004
IEEE
14 years 2 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...
GD
2006
Springer
14 years 1 months ago
2006
Springer
In this paper, we study the k-tree partition problem which is a partition of the set of edges of a graph into k edge-disjoint trees. This problem occurs at several places with appl...
ISIWI
2004
13 years 11 months ago
2004
The paper deals with the effects of information technology in organizations with a particular emphasis on the role of motivation of the organizational members. Giddens' Theor...
ANLP
2000
13 years 11 months ago
2000
This paper presents the syntactic and semantic tags used to annotate predicate-argument structure in the Berkeley FrameNet Project. It briefly explains the theory of frame semanti...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
The problem of guessing a random string is revisited and some prior results on guessing exponents are re-derived using the theory of large deviations. It is shown that if the seque...