2225 search results - page 396 / 445 » Logical Structures in the Lexicon |
HASKELL
2008
ACM
13 years 9 months ago
2008
ACM
Eight years ago, functional dependencies, a concept from the theory of relational databases, were proposed as a mechanism for avoiding common problems with multiple parameter type...
SIGCOMM
2010
ACM
13 years 8 months ago
2010
ACM
In this work we present a middleware architecture for a mobile peer-to-peer content distribution system. Our architecture allows wireless content dissemination between mobile node...
ICAISC
2010
Springer
13 years 8 months ago
2010
Springer
Attempts to extract logical rules from data often lead to large sets of classification rules that need to be pruned. Training two classifiers, the C4.5 decision tree and the Non-Ne...
ICFP
2010
ACM
13 years 8 months ago
2010
ACM
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...
ACS
2007
13 years 8 months ago
2007
Abstract. For a symmetric monoidal-closed category X and any object K, the category of K-Chu spaces is small-topological over X and small cotopological over Xop . Its full subcateg...