10072 search results - page 1818 / 2015 » Composition of Model Programs |
173
click to vote
ICALP
2007
Springer
16 years 16 days ago
2007
Springer
We revisit the problem of memory checking considered by Blum et al. [3]. In this model, a checker monitors the behavior of a data structure residing in unreliable memory given an a...
175
Voted
ICCS
2007
Springer
16 years 16 days ago
2007
Springer
A recent trend in modern high performance computing (HPC) system architectures employs “lean” compute nodes running a lightweight operating system (OS). Certain parts of the OS...
168
click to vote
IFIP
2007
Springer
16 years 16 days ago
2007
Springer
The operation of global manufacturing network is challenging due to the complexity in product and information flow, diversity in sites, localization and processes and the informati...
225
click to vote
ILP
2007
Springer
16 years 16 days ago
2007
Springer
A recurrent question in the design of intelligent agents is how to assign degrees of beliefs, or subjective probabilities, to various events in a relational environment. In the sta...
251
click to vote
IWCLS
2007
Springer
16 years 16 days ago
2007
Springer
Learning Classifier Systems use evolutionary algorithms to facilitate rule- discovery, where rule fitness is traditionally payoff based and assigned under a sharing scheme. Most c...