Sciweavers

24421 search results - page 4361 / 4885
» Communicating Complex Systems
Sort
View
GRAPHITE
2005
ACM
16 years 22 days ago
Selective component-based rendering
The computational requirements of full global illumination rendering are such that it is still not possible to achieve high-fidelity graphics of very complex scenes in a reasonab...
Kurt Debattista, Veronica Sundstedt, Luís P...
HASKELL
2005
ACM
16 years 22 days ago
Verifying haskell programs using constructive type theory
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
Andreas Abel, Marcin Benke, Ana Bove, John Hughes,...
MIR
2005
ACM
143views Multimedia» more  MIR 2005»
16 years 22 days ago
Extracting information from multimedia meeting collections
Multimedia meeting collections, composed of unedited audio and video streams, handwritten notes, slides, and electronic documents that jointly constitute a raw record of complex h...
Daniel Gatica-Perez, Dong Zhang, Samy Bengio
MUM
2005
ACM
92views Multimedia» more  MUM 2005»
16 years 22 days ago
User experiences with mobile phone camera game interfaces
This paper presents the findings of a comparative study investigating different input interfaces for a mobile phone games application. A standard mobile phone joystick interface i...
Sam Bucolo, Mark Billinghurst, David Sickinger
PODC
2005
ACM
16 years 22 days ago
Advanced contention management for dynamic software transactional memory
The obstruction-free Dynamic Software Transactional Memory (DSTM) system of Herlihy et al. allows only one transaction at a time to acquire an object for writing. Should a second ...
William N. Scherer III, Michael L. Scott
« Prev « First page 4361 / 4885 Last » Next »