7526 search results - page 1449 / 1506 » The Design and Implementation of the A2QM3 System |
WIKIS
2005
ACM
14 years 2 months ago
2005
ACM
We have developed a new powerful group communication system qwikWeb, which is an integration of a WikiWikiWeb (wiki) and a mailing list system. Mailing lists are useful for exchan...
CAV
2005
Springer
14 years 2 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
MM
2004
ACM
14 years 2 months ago
2004
ACM
We propose a framework to achieve bandwidth efficient, error robust and bitrate scalable audio streaming. Our approach is compatible with most audio compression format. The main c...
UIST
2004
ACM
14 years 2 months ago
2004
ACM
A long standing challenge in pen-based computer interaction is the ability to make sense of informal sketches. A main difficulty lies in reliably extracting and recognizing the i...
VRCAI
2004
ACM
14 years 2 months ago
2004
ACM
Despite steady research advances in many aspects of virtual reality, building and testing virtual worlds remains to be a very difficult process. Most virtual environments are stil...