6846 search results - page 61 / 1370 » Developing an Active Observer |
93
Voted
JIIS
2008
15 years 17 days 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...
74
Voted
USS
2008
15 years 2 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 ...
101
Voted
CVPR
2006
IEEE
16 years 2 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 ...
96
Voted
AIPS
2003
15 years 2 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...
108
Voted
CPAIOR
2005
Springer
15 years 6 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...