5015 search results - page 841 / 1003 » Model Checking a Path |
IS4TH
2003
Springer
14 years 3 months ago
2003
Springer
Realistic haptic interaction in volume sculpting is a decisive prerequisite for successful simulation of bone surgery. We present a haptic rendering algorithm, based on a multi-poi...
AINA
2010
IEEE
14 years 3 months ago
2010
IEEE
—In the offshore engineering community, reliable deep-water anchor performance is critical for mooring floating platforms such as Mobile Offshore Drilling Units. In a typical in...
GECCO
2010
Springer
14 years 3 months ago
2010
Springer
This study proposes a simple computational model of evolutionary learning in organizations informed by genetic algorithms. Agents who interact only with neighboring partners seek ...
ICPP
2000
IEEE
14 years 2 months ago
2000
IEEE
In this paper a sufficient condition is given for minimal routing in n-dimensional (n-D) meshes with faulty nodes contained in a set of disjoint fault regions. It is based on an ...
ASPDAC
2000
ACM
14 years 2 months ago
2000
ACM
- This paper presents a new aged timing simulation methodology that can be used for hot-carrier reliability assurance of VLSI. This methodology consists of a compact model and a un...