18321 search results - page 199 / 3665 » The benefits of using information systems |
159
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 ...
256
click to vote
PPNA
2011
15 years 1 months ago
2011
A successful P2P live streaming system must achieve high uploading bandwidth utilization, fast stream distribution, fair aggregate bandwidth distribution among participating nodes,...
173
click to vote
SBP
2012
Springer
14 years 2 months ago
2012
Springer
Interactions between individuals, both economic and social, are increasingly mediated by technological systems. Such platforms facilitate interactions by controlling and regularizi...
174
click to vote
ECIR
1998
Springer
15 years 8 months ago
1998
Springer
Probabilistic Argumentation Systems (PAS) are a technique for representing uncertainty both symbolically and numerically. It is shown that this technique, which combines symbolic ...
147
click to vote
SEMWEB
2007
Springer
16 years 20 days ago
2007
Springer
Ontology-based applications play an increasingly important role in the public and corporate Semantic Web. While today there exist a range of tools and technologies to support speci...