Sciweavers

1554 search results - page 165 / 311
» Testing Polymorphic Behavior
Sort
View
CAINE
2003
13 years 9 months ago
Development of a Computational Toolkit for Biomechanical Analysis and Simulation: The Vertebrate Analyzer
This paper discusses the development of a computational modeling and analysis toolkit to construct, animate, and biomechanically analyze sophisticated models of vertebrates. Users...
K. F. Hulme, F. C. Mendel, K. P. Chugh
FTCS
1998
114views more  FTCS 1998»
13 years 9 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...
FIW
2000
114views Communications» more  FIW 2000»
13 years 9 months ago
Feature Interaction in Internet Telephony
While Internet telephony aims to provide services at least equal to traditional telephony, the architecture of Internet telephony is sufficiently different to make it necessary to ...
Jonathan Lennox, Henning Schulzrinne
AR
2008
188views more  AR 2008»
13 years 8 months ago
Intentional Control for Planetary Rover SRR
Intentional behavior is a basic property of intelligence and it incorporates the cyclic operation of prediction, testing by action, sensing, perceiving, and assimilating the exper...
Robert Kozma, Terry Huntsberger, Hrand Aghazarian,...
CGF
2010
111views more  CGF 2010»
13 years 8 months ago
Estimation and Modeling of Actual Numerical Errors in Volume Rendering
In this paper we study the comprehensive effects on volume rendered images due to numerical errors caused by the use of finite precision for data representation and processing. To...
Joel Kronander, Jonas Unger, Torsten Möller, ...