Sciweavers

3346 search results - page 134 / 670
» A Generic Rendering System
Sort
View
SIGGRAPH
2000
ACM
15 years 10 months ago
Non-photorealistic virtual environments
We describe a system for non-photorealistic rendering (NPR) of virtual environments. In real time, it synthesizes imagery of architectural interiors using stroke-based textures. W...
Allison Klein, Wilmot Li, Michael M. Kazhdan, Wagn...
HCI
2007
15 years 7 months ago
Privacy Issues for the Disclosure of Emotions to Remote Acquaintances Without Simultaneous Communication
We discuss the privacy issues related to the design of systems that disclose information about emotions to remote acquaintances, without simultaneous communication: users do not ch...
Sébastien Duval, Christian Becker, Hiromich...
VISAPP
2007
15 years 7 months ago
Spatiotemporal context in robot vision: Detection of static objects in the robocup four legged league
Having as a main motivation the development of robust and high performing robot vision systems that can operate in dynamic environments, we propose a context-based generic vision s...
Pablo Guerrero, Javier Ruiz-del-Solar, Rodrigo Pal...
ECBS
2002
IEEE
115views Hardware» more  ECBS 2002»
15 years 11 months ago
An Extensible Software Architecture for Mobile Components
This paper presents a generic software architecture for large-scale distributed applications in which mobile agents are an integral part. We developed this architecture through th...
Dag Johansen, Kåre J. Lauvset, Keith Marzull...
IPPS
2002
IEEE
15 years 11 months ago
Proving Self-Stabilization with a Proof Assistant
We present a formalization of a proof of self-stabilization in the Coq proof assistant. Coq is a program allowing to define mathematical objects and properties, and to make proof...
Pierre Courtieu