Sciweavers

4445 search results - page 312 / 889
» Use of statistical timing analysis on real designs
Sort
View
FOCS
2010
IEEE
15 years 4 months ago
Black-Box Randomized Reductions in Algorithmic Mechanism Design
We give the first black-box reduction from arbitrary approximation algorithms to truthful approximation mechanisms for a non-trivial class of multiparameter problems. Specifically,...
Shaddin Dughmi, Tim Roughgarden
AAAI
2004
15 years 8 months ago
Ergonomics Analysis for Vehicle Assembly Using Artificial Intelligence
In this paper we discuss a deployed application at Ford Motor Company that utilizes AI technology for the analysis of potential ergonomic concerns at our assembly plants. The manu...
Nestor Rychtyckyj
SAFECOMP
2007
Springer
16 years 27 days ago
Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts
With the rapid progress in science and technology, we find ubiquitous use of safety-critical systems in avionics, consumer electronics, and medical instruments. In such systems, u...
Yean-Ru Chen, Pao-Ann Hsiung, Sao-Jie Chen
SIGIR
2002
ACM
15 years 6 months ago
Using part-of-speech patterns to reduce query ambiguity
Query ambiguity is a generally recognized problem, particularly in Web environments where queries are commonly only one or two words in length. In this study, we explore one techn...
James Allan, Hema Raghavan
ISMAR
2009
IEEE
16 years 1 months ago
Using AR to support cross-organisational collaboration in dynamic tasks
This paper presents a study where Augmented Reality (AR) technology has been used as a tool for supporting collaboration between the rescue services, the police and military perso...
Susanna Nilsson, Björn J. E. Johansson, Arne ...