Sciweavers

2827 search results - page 113 / 566
» CCured in the real world
Sort
View
DOCENG
2004
ACM
14 years 3 months ago
Behavioral reactivity and real time programming in XML: functional programming meets SMIL animation
XML and its associated languages are emerging as powerful authoring tools for multimedia and hypermedia web content. Furthermore, intelligent presentation generation engines have ...
Peter R. King, Patrick Schmitz, Simon J. Thompson
HAPTICS
2003
IEEE
14 years 3 months ago
Real-Time Rigid Body Simulation Based on Volumetric Penalty Method
This paper proposes a new method for real-time rigid body simulations based on a volumetric penalty method. The penalty method, which employs spring-damper model, is a simple and ...
Shoichi Hasegawa, Nobuaki Fujii, Yasuharu Koike, M...
COOPIS
2002
IEEE
14 years 3 months ago
The Design and Performance of the jRate Real-Time Java Implementation
Over 90 percent of all microprocessors are now used for realtime and embedded applications. Since the behavior of these applications is often constrained by the physical world, it...
Angelo Corsaro, Douglas C. Schmidt
WSCG
2004
160views more  WSCG 2004»
13 years 11 months ago
Real-Time Rendering of 3D Magic Lenses having arbitrary convex Shapes
We present a real-time algorithm for rendering volumetric 3D Magic LensesTM having arbitrary convex shapes. During fragment processing the algorithm performs a second depth test u...
Timo Ropinski, Klaus Hinrichs
AROBOTS
1999
87views more  AROBOTS 1999»
13 years 9 months ago
Dynamics of a Classical Conditioning Model
Abstract. Classical conditioning is a basic learning mechanism in animals and can be found in almost all organisms. If we want to construct robots with abilities matching those of ...
Christian Balkenius