5863 search results - page 961 / 1173 » Calculating Functional Programs |
116
Voted
COMPSAC
2004
IEEE
15 years 6 months ago
2004
IEEE
Software reliability is defined as the probability of failure-free software operation for a specified period of time in a specified environment. Over the past 30 years, many softw...
119
Voted
DIAGRAMS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We present a method for constructing a teleological model of a drawing of a physical device through analogical transfer of the teleological model of the same device in an...
124
Voted
NIPS
2007
15 years 4 months ago
2007
Automatic relevance determination (ARD) and the closely-related sparse Bayesian learning (SBL) framework are effective tools for pruning large numbers of irrelevant features leadi...
114
click to vote
WSC
1998
15 years 4 months ago
1998
This paper explores the use of discrete-event simulation for the design and control of physical protection systems for fixed-site facilities housing items of significant value. It...
129
Voted
FOCS
2008
IEEE
15 years 2 months ago
2008
IEEE
We consider markets in the classical Arrow-Debreu model. There are n agents and m goods. Each buyer has a concave utility function (of the bundle of goods he/she buys) and an init...