7075 search results - page 274 / 1415 » Models and heterogeneous reasoning |
180
click to vote
PAKM
2004
15 years 8 months ago
2004
This paper presents an approach to locating an expert through the use of existing organizational information. This approach was realised through an Expert Finder framework develope...
173
click to vote
CCIA
2009
Springer
15 years 7 months ago
2009
Springer
We present a mathematical framework for communicating about trust in terms of interactions. We argue that sharing an ontology about trust is not enough and that interactions are th...
160
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Almost all fundamental advances in science and engineering crucially depend on the availability of extremely capable high performance computing (HPC) systems. Future HPC systems w...
202
click to vote
SIGMOD
2011
ACM
14 years 9 months ago
2011
ACM
We demonstrate a system for querying probabilistic XML documents with simple XPath queries. A user chooses between a variety of query answering techniques, both exact and approxim...
156
Voted
LICS
1997
IEEE
15 years 10 months ago
1997
IEEE
We present a game-theoretic model of the polymorphic -calculus, system F, as a fibred category. Every morphism of the model defines an -expanded, -normal form ^ of system F whose...