3179 search results - page 186 / 636 » Applications of PCF Theory |
117
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...
114
click to vote
GD
2006
Springer
15 years 7 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...
115
click to vote
ISIWI
2004
15 years 5 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...
135
Voted
ANLP
2000
15 years 5 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...
115
click to vote
CORR
2010
Springer
15 years 4 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...