14078 search results - page 2522 / 2816 » Design and Analysis of Computer Algorithms |
173
click to vote
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
119
click to vote
IWCMC
2006
ACM
15 years 10 months ago
2006
ACM
The employment of the OFDMA transmission technique in broadband radio systems shows several benefits. Especially the exploitation of multi-user diversity with the help of sophisti...
137
click to vote
ACMSE
2005
ACM
15 years 9 months ago
2005
ACM
Web user search customization research has been fueled by the recognition that if the WWW is to attain to its optimal potential as an interactive medium the development of new and...
143
click to vote
VRST
2005
ACM
15 years 9 months ago
2005
ACM
The goal of augmented reality is to provide the user with a view of the surroundings enriched by virtual objects. Practically all augmented reality systems rely on standard realti...
148
click to vote
SAC
2004
ACM
15 years 9 months ago
2004
ACM
This paper presents an hybrid adaptive system for induction of forest of trees from data streams. The Ultra Fast Forest Tree system (UFFT) is an incremental algorithm, with consta...