10419 search results - page 1815 / 2084 » Relational information gain |
162
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
180
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Software development is rarely an individual effort and generally involves teams of developers collaborating to generate good reliable code. Among the software code there exist te...
157
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The present work investigates the structural and dynamical properties of aNobii1 , a social bookmarking system designed for readers and book lovers. Users of aNobii provide informa...
196
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Very large databases are required to store massive amounts of data that are continuously inserted and queried. Analyzing huge data sets and extracting valuable pattern in many appl...
186
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
It is shown that bandwidth estimation in packet networks can be viewed in terms of min-plus linear system theory. The available bandwidth of a link or complete path is expressed i...