Sciweavers

7486 search results - page 340 / 1498
» The Limits of Quantum Computers
Sort
View
DIS
1998
Springer
15 years 11 months ago
Discovering Characteristic Patterns from Collections of Classical Japanese Poems
Abstract. Waka is a form of traditional Japanese poetry with a 1300year history. In this paper, we attempt to discover characteristics common to a collection of waka poems. As a fo...
Mayumi Yamasaki, Masayuki Takeda, Tomoko Fukuda, I...
CHI
1996
ACM
15 years 11 months ago
A Usability Study of Workspace Awareness Widgets
Groupware systems that use large shared workspaces generally provide only limited awareness information about other collaborators in the workspace. We are designing a set of group...
Carl Gutwin, Mark Roseman
RT
1997
Springer
15 years 11 months ago
Global Illumination Techniques for the Simulation of Participating Media
Abstract: This paper surveys global illumination algorithms for environments including participating media and accounting for multiple scattering. The objective of this survey is t...
Frederic Pérez, Xavier Pueyo, Franço...
DAC
1994
ACM
15 years 11 months ago
Fitting Formal Methods into the Design Cycle
This tutorial introduces several methods of formal hardware veri cation that could potentially have a practical impact on the design process. The measure of success in integrating...
Kenneth L. McMillan
MM
1993
ACM
97views Multimedia» more  MM 1993»
15 years 11 months ago
Performance of a Software MPEG Video Decoder
The design and implementation of a software decoder for MPEG video bitstreams is described. The software has been ported to numerous platforms including PC’s, workstations, and ...
Ketan Patel, Brian C. Smith, Lawrence A. Rowe