2978 search results - page 261 / 596 » Operations Research |
129
Voted
DSN
2007
IEEE
15 years 11 months ago
2007
IEEE
If we hope to automatically detect and diagnose failures in large-scale computer systems, we must study real deployed systems and the data they generate. Progress has been hampere...
113
click to vote
ICRA
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract—Automation has long been recognized as an important goal in AFM (Atomic Force Microscope) nanomanipulation research. For the precise manipulation of small particles with...
134
click to vote
IROS
2007
IEEE
15 years 11 months ago
2007
IEEE
— One might expect that after nearly 50 years of research in robot manipulation and mobile robotics the architectural design of robot systems has converged to a small set of best...
152
click to vote
ICIAP
2007
ACM
15 years 11 months ago
2007
ACM
A biometric system for user authentication produces a matching score representing the degree of similarity of the input biometry with the set of templates for that user. If the sc...
125
click to vote
ICTAC
2007
Springer
15 years 11 months ago
2007
Springer
LTL cannot express the whole class of ω-regular languages and several extensions have been proposed. Among them, Quantified propositional Linear Temporal Logic (QLTL), proposed b...