Sciweavers

13977 search results - page 2368 / 2796
» Evolution in complex systems
Sort
View
AOSD
2005
ACM
16 years 13 days ago
Role-based refactoring of crosscutting concerns
Improving the structure of code can help developers work with a software system more efficiently and more consistently. To aid developers in re-structuring the implementation of c...
Jan Hannemann, Gail C. Murphy, Gregor Kiczales
APGV
2005
ACM
130views Visualization» more  APGV 2005»
16 years 13 days ago
Exploitation of human shadow perception for fast shadow rendering
In this paper we describe an experiment to obtain information about the perceptual potential of the human visual system regarding shadow perception. Shadows play an important part...
Mirko Sattler, Ralf Sarlette, Thomas Mücken, ...
GRAPHITE
2005
ACM
16 years 13 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 13 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 13 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
« Prev « First page 2368 / 2796 Last » Next »