4418 search results - page 876 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
75
Voted
FUIN
2008
14 years 9 months ago
2008
We study sensor minimization problems in the context of fault diagnosis. Fault diagnosis consists in synthesizing a diagnoser that observes a given plant and identifies faults in t...
110
click to vote
BMCBI
2008
14 years 9 months ago
2008
Background: The analysis of expressed sequence tags (EST) offers a rapid and cost effective approach to elucidate the transcriptome of an organism, but requires several computatio...
123
click to vote
CVPR
2011
IEEE
14 years 5 months ago
2011
IEEE
Fast and reliable algorithms for estimating the head pose are essential for many applications and higher-level face analysis tasks. We address the problem of head pose estimation ...
105
click to vote
COMGEO
2011
ACM
14 years 1 months ago
2011
ACM
Skyhook Wireless provides hybrid positioning to millions of mobile devices around the world. Using an approach that integrates cell, WiFi, and GPS signals, the system services ove...
102
click to vote
SAC
2011
ACM
14 years 10 days ago
2011
ACM
Logs are one of the most important pieces of analytical data in a cloud-based service infrastructure. At any point in time, service owners and operators need to understand the sta...