2488 search results - page 384 / 498 » An improvement in formal verification |
106
Voted
RT
2001
Springer
15 years 6 months ago
2001
Springer
We propose a practicable way to include both polarization and fluorescence effects in a rendering system at the same time. Previous research in this direction only demonstrated s...
ICRA
2000
IEEE
15 years 6 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...
132
click to vote
HASE
1999
IEEE
15 years 5 months ago
1999
IEEE
Most complex systems today contain software, and systems failures activated by software faults can provide lessons for software development practices and software quality assuranc...
99
Voted
MOBICOM
1998
ACM
15 years 5 months ago
1998
ACM
CT In order to support location-aware applications it is necessary to locate people and equipment in near real-time. To avoid unnecessary exposure of details of the underlying trac...
115
click to vote
CSCW
1996
ACM
15 years 5 months ago
1996
ACM
Concurrency control and group undo are important issues in the design of groupware, especially for interactive group editors. We present an improved versionofanexistingdistributed...