scispace - formally typeset
Search or ask a question
Institution

Mitre Corporation

CompanyBedford, Massachusetts, United States
About: Mitre Corporation is a company organization based out in Bedford, Massachusetts, United States. It is known for research contribution in the topics: Air traffic control & National Airspace System. The organization has 4884 authors who have published 6053 publications receiving 124808 citations. The organization is also known as: Mitre & MITRE.


Papers
More filters
Journal ArticleDOI
TL;DR: Research that extends Resnik's initial work is surveyed, the strengths and weaknesses of each approach are discussed, and how they together form a cohesive line of research are shown.

48 citations

Proceedings ArticleDOI
D. Friedman1
26 Apr 1985
TL;DR: A new time-frequency display is constructed based on the phase of the running short-time Fourier transform, specifically the distribution of its time derivative, indicating more precise location of formants than is usual for the spectrogram.
Abstract: A new time-frequency display is constructed based on the phase of the running short-time Fourier transform, specifically the distribution of its time derivative. Typical results are given for speech, indicating more precise location of formants than is usual for the spectrogram.

48 citations

Proceedings ArticleDOI
07 May 1990
TL;DR: A real-time feasible track-before-detect process for a scanning pulsed Doppler airborne-type radar is described, which sequentially optimizes smoothed rank as the field of view is scanned.
Abstract: A real-time feasible track-before-detect process for a scanning pulsed Doppler airborne-type radar is described. Robust distribution-free based ranking is applied in range separately for each Doppler. A dynamic programming process is used to select a best tentative track passing through each range, azimuth, and Doppler cell. The process sequentially optimizes smoothed rank as the field of view is scanned. Results of a simulation are presented for a system with multiple bursts at a given pulse repetition frequency. Track detections are obtained with probability 0.5 at a signal-to-noise ratio of about 5 dB for a Rician signal pulse noise model as measured at the Doppler outputs. The corresponding false track generation rate is estimated to be 5*10/sup -5/ per processed resolution cell. >

48 citations

Proceedings ArticleDOI
30 Jun 2005
TL;DR: This work manually inspected a small set of news stories in order to locate the most productive source of entailments, then built an annotation interface for rapid manual evaluation of further exemplars, and built an SVM-based document classifier for corpus refinement purposes.
Abstract: We describe our efforts to generate a large (100,000 instance) corpus of textual entailment pairs from the lead paragraph and headline of news articles. We manually inspected a small set of news stories in order to locate the most productive source of entailments, then built an annotation interface for rapid manual evaluation of further exemplars. With this training data we built an SVM-based document classifier, which we used for corpus refinement purposes---we believe that roughly three-quarters of the resulting corpus are genuine entailment pairs. We also discuss the difficulties inherent in manual entailment judgment, and suggest ways to ameliorate some of these.

48 citations

Proceedings Article
24 Aug 1991
TL;DR: The architecture draws from the ideas of universal plans and subsumption's layered control, producing reaction plans that exploit low-level competences as operators that exhibit robust task execution, has high-level goal representations, and maintains consistent semantics between agent states and the environment.
Abstract: This paper describes an agent architecture and its implementation for situated robot control in field environments. The architecture draws from the ideas of universal plans and subsumption's layered control, producing reaction plans that exploit low-level competences as operators. The architecture has been implemented in an extended version of the GAPPS/Rex situated automata programming language. This language produces synchronous virtual circuits which have been shown to have formal epistemic properties. The resulting architecture exhibits robust task execution, has high-level goal representations, and maintains consistent semantics between agent states and the environment. Ongoing experiments using the architecture with two land mobile robots and one undersea mobile robot are described. The robots perform their tasks robustly during normal changes in the task environments.

48 citations


Authors

Showing all 4896 results

NameH-indexPapersCitations
Sushil Jajodia10166435556
Myles R. Allen8229532668
Barbara Liskov7620425026
Alfred D. Steinberg7429520974
Peter T. Cummings6952118942
Vincent H. Crespi6328720347
Michael J. Pazzani6218328036
David Goldhaber-Gordon5819215709
Yeshaiahu Fainman5764814661
Jonathan Anderson5719510349
Limsoon Wong5536713524
Chris Clifton5416011501
Paul Ward5240812400
Richard M. Fujimoto5229013584
Bhavani Thuraisingham5256310562
Network Information
Related Institutions (5)
IBM
253.9K papers, 7.4M citations

83% related

Hewlett-Packard
59.8K papers, 1.4M citations

83% related

Carnegie Mellon University
104.3K papers, 5.9M citations

83% related

George Mason University
39.9K papers, 1.3M citations

83% related

Georgia Institute of Technology
119K papers, 4.6M citations

82% related

Performance
Metrics
No. of papers from the Institution in previous years
YearPapers
20234
202210
202195
2020139
2019145
2018132