6846 search results - page 61 / 1370 » Developing an Active Observer |
115
click to vote
JIIS
2008
15 years 2 months ago
2008
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
85
Voted
USS
2008
15 years 4 months ago
2008
We argue that for both defending against attacks and apprehending the scope of attacks after they are detected, there is great utility in attaining views of network activity that ...
119
click to vote
CVPR
2006
IEEE
16 years 4 months ago
2006
IEEE
We consider the problem of computing the likelihood of a gesture from regular, unaided video sequences, without relying on perfect segmentation of the scene. Instead of requiring ...
112
click to vote
AIPS
2003
15 years 4 months ago
2003
Planning in nondeterministic domains with temporally extended goals under partial observability is one of the most challenging problems in planning. Subsets of this problem have b...
126
Voted
CPAIOR
2005
Springer
15 years 8 months ago
2005
Springer
We describe the problem of scheduling astronomy observations for the Stratospheric Observatory for Infrared Astronomy, an airborne telescope. The problem requires maximizing the nu...