6650 search results - page 1109 / 1330 » models 2009 |
167
click to vote
TLCA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Programming languages theory is full of problems that reduce to proving the consistency of a logic, such as the normalization of typed lambda-calculi, the decidability of...
165
click to vote
UC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We investigate methods for exploiting nondeterminism inherent within the Tile Assembly Model in order to generate uniform random numbers. Namely, given an integer range {...
167
click to vote
UM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Traditional websites have long relied on users revealing their preferences explicitly through direct manipulation interfaces. However recent recommender systems have gone...
148
click to vote
AFRIGRAPH
2009
ACM
16 years 1 months ago
2009
ACM
High-fidelity computer graphics offer the possibility for archaeologists to put excavated cultural heritage artefacts virtually back into their original setting and illumination ...
168
click to vote
ASPDAC
2009
ACM
16 years 1 months ago
2009
ACM
— Thermal balancing and reducing hot-spots are two important challenges facing the MPSoC designers. In this work, we model the thermal behavior of a MPSoC as a control theory pro...