1567 search results - page 31 / 314 » A Mechanized Model of the Theory of Objects |
111
click to vote
NECO
2007
15 years 28 days ago
2007
We propose a Markov process model for spike-frequency adapting neural ensembles which synthesizes existing mean-adaptation approaches, population density methods, and inhomogeneou...
114
click to vote
SPLC
2007
15 years 2 months ago
2007
A mechanically formalized feature modeling metamodel is presented. This theory is a generic higher-order formalization of a mathematical model synthesizing several feature modelin...
101
click to vote
ACMICEC
2006
ACM
15 years 7 months ago
2006
ACM
Auction mechanism design has traditionally been a largely analytic process, relying on assumptions such as fully rational bidders. In practice, however, bidders often exhibit unkn...
143
click to vote
SIGECOM
2010
ACM
15 years 6 months ago
2010
ACM
The existing literature on optimal auctions focuses on optimizing the expected revenue of the seller, and is appropriate for risk-neutral sellers. In this paper, we identify good ...
ICCSA
2005
Springer
15 years 7 months ago
2005
Springer
Component-Based Development (CBD) is gaining popularity as an effective reuse technology. Components in CBD are mainly for interorganizational reuse, rather than intra-organization...