29082 search results - page 5327 / 5817 » The Time-Triggered Model of Computation |
206
click to vote
ICECCS
1999
IEEE
15 years 11 months ago
1999
IEEE
We report on our efforts to formally specify and verify a new protocol of the E-2C Hawkeye Early Warning Aircraft. The protocol, which is currently in test at Northrop Grumman, su...
181
click to vote
ICMCS
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, a technique is presented for CT image analysis and visualization of the bronchial airways. The technique provides a non-invasive way to examine the interior of the ...
199
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
Techniques for interactive 3D manipulation of articulated objects in cluttered environments should be geometricallyaware, going beyond basic inverse or forward kinematics to allow...
190
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
Three fundamental problems in the study of grasping and dextrous manipulation with multifingered robotic hands are as follows. a) Given a robotic hand and a grasp characterized by ...
181
click to vote
CIKM
1999
Springer
15 years 11 months ago
1999
Springer
Multi-dimensional, inter-transaction association rules extend the traditional association rules to describe more general associations among items with multiple properties cross tr...