6978 search results - page 1064 / 1396 » On Proofs in System P |
147
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
—In this paper, we introduce a new approach to fault detection for robot manipulators. The technique, which is based on the isolation of fault signatures via filtered torque pred...
177
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper, we present a new packaging architecture for chip-level optical interconnections based on imaging fiber bundles. Imaging fiber bundles consist of densely packed arra...
160
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
Abstract. The concept of software architecture has created a new scenario for incorporating non-functional and transactional requirements into the software design. Transactional an...
169
click to vote
SSIAI
2000
IEEE
15 years 11 months ago
2000
IEEE
For each patient receiving definitive treatment for cervix cancer, several CT/MR imaging studies need to be registered in order to specify the total physical or biological dose t...
135
click to vote
WISE
2000
Springer
15 years 11 months ago
2000
Springer
Web-based collaboration is becoming increasingly common. Often such collaboration exhibits emergent characteristics, for which systems based on a notion of workspaces provide suit...