1140 search results - page 160 / 228 » Progress on Certifying Algorithms |
IEEEPACT
2006
IEEE
14 years 4 months ago
2006
IEEE
Static Single Assignment (SSA) has become the intermediate program representation of choice in most modern compilers because it enables efficient data flow analysis of scalars an...
ACMACE
2006
ACM
14 years 4 months ago
2006
ACM
Massively multiplayer online computer games are played in complex, persistent virtual worlds. Over time, the landscape of these worlds evolves and changes as players create and pe...
HRI
2006
ACM
14 years 4 months ago
2006
ACM
Robot programmers are faced with the challenging problem of understanding the robot’s view of its world, both when creating and when debugging robot software. As a result tools ...
MM
2006
ACM
14 years 4 months ago
2006
ACM
This paper proposes a new approach for the similarity measure and ranking of audio clips by graph modeling and matching. Instead of using frame-based or salient-based features to ...
VRST
2006
ACM
14 years 3 months ago
2006
ACM
The ever increasing speed of Internet connections has led to a point where it is actually possible for every end user to seamlessly share data on Internet. Peer-To-Peer (P2P) netw...