6120 search results - page 1119 / 1224 » The Power of Linear Functions |
VISUALIZATION
1992
IEEE
14 years 2 months ago
1992
IEEE
algorithms as networks of modules. The data flow architecture is popular because of the flexibility of mixing calculation modules with display modules, and because of its easy grap...
SIGIR
2010
ACM
14 years 2 months ago
2010
ACM
Evaluation metrics play a critical role both in the context of comparative evaluation of the performance of retrieval systems and in the context of learning-to-rank (LTR) as objec...
CLUSTER
2004
IEEE
14 years 1 months ago
2004
IEEE
Single system image(SSI) systems have been the mainstay of high-performance computing for many years. SSI requires the integration and aggregation of all types of resources in a c...
FLOPS
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Assertion-based contracts provide a powerful mechanism for stating invariants at module boundaries and for enforcing them uniformly. In 2002, Findler and Felleisen showed...
FOIKS
2006
Springer
14 years 1 months ago
2006
Springer
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...