Sciweavers

2790 search results - page 237 / 558
» A generative theory of relevance
Sort
View
APAL
2006
67views more  APAL 2006»
15 years 6 months ago
Pretopologies and a uniform presentation of sup-lattices, quantales and frames
We introduce the notion of infinitary preorder and use it to obtain a predicative presentation of sup-lattices by generators and relations. The method is uniform in that it extend...
Giulia Battilotti, Giovanni Sambin
COMPLEXITY
2004
108views more  COMPLEXITY 2004»
15 years 6 months ago
On the convergence of a factorized distribution algorithm with truncation selection
nical Abstract Optimization is to find the "best" solution to a problem where the quality of a solution can be measured by a given criterion. Estimation of Distribution A...
Qingfu Zhang

Lecture Notes
742views
17 years 4 months ago
Computer Systems Analysis
Comparing systems using measurement, simulation, and queueing models. Common mistakes and how to avoid them, selection of techniques and metrics, art of data presentation, summariz...
Raj Jain
SIGECOM
2009
ACM
134views ECommerce» more  SIGECOM 2009»
16 years 1 months ago
On representing coalitional games with externalities
We consider the issue of representing coalitional games in multiagent systems with externalities (i.e., in systems where the performance of one coalition may be affected by other ...
Tomasz P. Michalak, Talal Rahwan, Jacek Sroka, And...
POPL
2003
ACM
16 years 7 months ago
A type system for higher-order modules
We present a type theory for higher-order modules that accounts for many central issues in module system design, including translucency, applicativity, generativity, and modules a...
Derek Dreyer, Karl Crary, Robert Harper