Sciweavers

327 search results - page 33 / 66
» A Framework for Institutions Governing Institutions
Sort
View
112
Voted
SC
2009
ACM
15 years 7 months ago
Scalable temporal order analysis for large scale debugging
We present a scalable temporal order analysis technique that supports debugging of large scale applications by classifying MPI tasks based on their logical program execution order...
Dong H. Ahn, Bronis R. de Supinski, Ignacio Laguna...
87
Voted
GEOINFO
2007
15 years 1 months ago
Ecologically-aware Queries for Biodiversity Research
To carry ecologically-relevant biodiversity research, one must collect chunks of information on species and their habitats from a large number of institutions and correlate them us...
Luiz Celso Gomes Jr., Claudia Bauzer Medeiros
114
Voted
SODA
2008
ACM
138views Algorithms» more  SODA 2008»
15 years 1 months ago
Fully polynomial time approximation schemes for stochastic dynamic programs
We develop a framework for obtaining Fully Polynomial Time Approximation Schemes (FPTASs) for stochastic univariate dynamic programs with either convex or monotone single-period c...
Nir Halman, Diego Klabjan, Chung-Lun Li, James B. ...
78
Voted
DAGSTUHL
2006
15 years 1 months ago
On Comparison of Mechanisms of Economic and Social Exchanges: The Times Model
Abstract. An e-market system is a concrete implementation of a market institution; it embeds one or more exchange mechanisms. E-market systems are also information systems which ar...
Gregory E. Kersten, Eva Chen, Dirk Neumann, Rustam...
104
Voted
FGCS
1992
107views more  FGCS 1992»
15 years 1 months ago
Logic Programming, Abduction and Probability
Probabilistic Horn abduction is a simple framework to combine probabilistic and logical reasoning into a coherent practical framework. The numbers can be consistently interpreted ...
David Poole