4299 search results - page 579 / 860 » Concurrent Test Generation |
111
click to vote
AIPR
2000
IEEE
15 years 8 months ago
2000
IEEE
We present a method for unsupervised boundary classijication by producing and analyzing intensity profiles. Each profile is created by sampling an ellipsoidal neighborhood of voxe...
128
click to vote
DATE
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper presents a method for redundancy identification (RID) using multi-node logic implications. The algorithm discovers a large number of direct and indirect implications b...
127
click to vote
HICSS
2000
IEEE
15 years 8 months ago
2000
IEEE
With the recent trend towards deregulating power systems around the world, transfer capability computation emerges as the key issue to a smoothly running power market with multipl...
110
click to vote
ICRA
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper we illustrate a methodology for modeling and analyzing flexible feeders using generalized semi-Markov process (GSMP) models. Working through the simple case consisti...
112
click to vote
ICRA
2000
IEEE
15 years 8 months ago
2000
IEEE
We describe the design and testing of a robotic system to assist locomotion training of spinal-injured rodents. The goal of the system is to control and quantify spatialtemporal p...