Sciweavers

23406 search results - page 4243 / 4682
» Architecture, Design, Implementation
Sort
View
184
Voted
FTCS
1998
114views more  FTCS 1998»
15 years 8 months ago
Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
Vicky Hartonas-Garmhausen, Sérgio Vale Agui...
163
Voted
GRAPHICSINTERFACE
1998
15 years 8 months ago
Active Implicit Surface for Animation
This paper introduces a new model of deformable surfaces designed for animation, which we call active implicit surfaces. The underlying idea is to animate a potential field define...
Mathieu Desbrun, Marie-Paule Gascuel
225
Voted
FLAIRS
2000
15 years 8 months ago
Autonomous Automobile Behavior through Context-Based Reasoning
Today's driving simulators are used in vehicle research and design as well as in training. However, most simulators are not convincing because the degree of realism is not ad...
Fernando G. Gonzalez, Patrick Grejs, Avelino J. Go...
WSCG
2003
224views more  WSCG 2003»
15 years 8 months ago
Edge-Enhancement - An Algorithm for Real-Time Non-Photorealistic Rendering
In this paper, we propose an algorithm for enhancing edges of real-time non-photorealistic renderings. It is based on the edge map, a 2D texture that encodes visually important ed...
Marc Nienhaus, Jürgen Döllner
MASCOTS
1998
15 years 8 months ago
IPB: An Internet Protocol Benchmark using Simulated Traffic
A common shortcoming of many network measurement programs is that their metrics are not expressed in terms directly applicable to applications and users. To address this problem, ...
Bruce A. Mah, Peter E. Sholander, Luis Martinez, L...
« Prev « First page 4243 / 4682 Last » Next »