1042 search results - page 125 / 209 » Representing real numbers in a generalized numeration system |
115
click to vote
FORMATS
2006
Springer
15 years 5 months ago
2006
Springer
Current numerical model checkers for stochastic systems can efficiently analyse stochastic models. However, the fact that they are unable to provide debugging information constrain...
118
click to vote
CHI
2004
ACM
16 years 1 months ago
2004
ACM
This paper discusses a novel data mining system devised and developed at Birmingham, which attempts to provide a more effective data mining system. It ties in with the workshop go...
123
click to vote
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
In hedonic games, players have the opportunity to form coalitions, and have preferences over the coalitions they might join. Such games can be used to model a variety of settings ...
CIKM
2009
Springer
15 years 5 months ago
2009
Springer
Traditional routing indices in peer-to-peer (P2P) networks are mainly designed for document retrieval applications and maintain aggregated one-dimensional values representing the ...
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
Representing agent policies compactly is essential for improving the scalability of multi-agent planning algorithms. In this paper, we focus on developing a pruning technique that...