Sciweavers

4698 search results - page 359 / 940
» Making Functionality More General
Sort
View
142
Voted
ATAL
2003
Springer
15 years 10 months ago
Transition-independent decentralized markov decision processes
There has been substantial progress with formal models for sequential decision making by individual agents using the Markov decision process (MDP). However, similar treatment of m...
Raphen Becker, Shlomo Zilberstein, Victor R. Lesse...
CNHPCA
2009
Springer
15 years 8 months ago
Parallel Branch Prediction on GPU Platform
Abstract. Branch Prediction is a common function in nowadays microprocessor. Branch predictor is duplicated into multiple copies in each core of a multicore and many-core processor...
Liqiang He, Guangyong Zhang
FIW
2009
101views Communications» more  FIW 2009»
15 years 2 months ago
Feature Interaction Detection in the Feature Language Extensions
One of the most difficult tasks in software development is that features are implemented by changing the code of other features. This problem cannot be solved with existing general...
Lei Sun, Lu Zhoa, Yimeng Li, Wu-Hon F. Leung
163
Voted
CORR
2011
Springer
165views Education» more  CORR 2011»
14 years 12 months ago
From IF to BI: a tale of dependence and separation
We take a fresh look at the logics of informational dependence and independence of Hintikka and Sandu and V¨a¨an¨anen, and their compositional semantics due to Hodges. We show h...
Samson Abramsky, Jouko A. Väänänen
CHI
2011
ACM
14 years 8 months ago
Antiquarian answers: book restoration as a resource for design
As technologies age, they experience wear and degradation, sometimes resulting in loss of functionality. In response, parts are replaced and software is updated. Yet restorationâ€...
Daniela K. Rosner, Alex S. Taylor