Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
2,192
Control-Flow Analysis of Higher-Order Languages
, 1991
"... representing the official policies, either expressed or implied, of ONR or the U.S. Government. Keywords: data-flow analysis, Scheme, LISP, ML, CPS, type recovery, higher-order functions, functional programming, optimising compilers, denotational semantics, nonstandard Programs written in powerful, ..."
Abstract
-
Cited by 365 (10 self)
- Add to MetaCart
representing the official policies, either expressed or implied, of ONR or the U.S. Government. Keywords: data-flow analysis, Scheme, LISP, ML, CPS, type recovery, higher-order functions, functional programming, optimising compilers, denotational semantics, nonstandard Programs written in powerful
Integrating Planning and Learning: The PRODIGY Architecture
- Journal of Experimental and Theoretical Artificial Intelligence
, 1995
"... are those of the authors and should not be interpreted as necessarily representing the official policies or endorsements, ..."
Abstract
-
Cited by 288 (94 self)
- Add to MetaCart
are those of the authors and should not be interpreted as necessarily representing the official policies or endorsements,
An Interpretation
"... Abstract This article is essentially a polemic. The argument is that when politicians and officials now talk of ‘leadership ’ in the British civil service they do not use that word in the way in which it was previously used. In the past leading civil servants, acting in partnership with ministers an ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
Abstract This article is essentially a polemic. The argument is that when politicians and officials now talk of ‘leadership ’ in the British civil service they do not use that word in the way in which it was previously used. In the past leading civil servants, acting in partnership with ministers
The SPHINX-II Speech Recognition System: An Overview
- Computer, Speech and Language
, 1992
"... In order for speech recognizers to deal with increased task perplexity, speaker variation, and environment variation, improved speech recognition is critical. Steady progress has been made along these three dimensions at Carnegie Mellon. In this paper, we review the SPHINX-II speech recognition syst ..."
Abstract
-
Cited by 186 (9 self)
- Add to MetaCart
in this document are those of the authors and should not be interpreted as representing the official policies, either expressed or implied, of the U.S. Government. Keywords: Speech recognition, hidden Markov models, SPHINX-II 1. INTRODUCTION At Carnegie Mellon, wehave made significant progress in large
Adaptive Precision Floating-Point Arithmetic and Fast Robust Geometric Predicates
- Discrete & Computational Geometry
, 1996
"... Exact computer arithmetic has a variety of uses including, but not limited to, the robust implementation of geometric algorithms. This report has three purposes. The first is to offer fast software-level algorithms for exact addition and multiplication of arbitrary precision floating-point values. T ..."
Abstract
-
Cited by 169 (5 self)
- Add to MetaCart
-9318163. The views and conclusions contained in this document are those of the author and should not be interpreted as representing the official policies, either express or implied, of NSERC, NSF, or the U.S. Government. Keywords: arbitrary precision floating-point arit...
Typed closure conversion
- IN PROCEEDINGS OF THE 23TH SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES (POPL
, 1996
"... The views and conclusions contained in this document are those of the authors and should not be interpreted as representing official policies, either expressed or implied, of the Advanced Research Projects Agency or the U.S. Government. Any opinions, findings, and conclusions or recommendations expr ..."
Abstract
-
Cited by 150 (18 self)
- Add to MetaCart
The views and conclusions contained in this document are those of the authors and should not be interpreted as representing official policies, either expressed or implied, of the Advanced Research Projects Agency or the U.S. Government. Any opinions, findings, and conclusions or recommendations
Some theories of reasoned assumptions: An essay in rational psychology
, 1983
"... not be interpreted as representing the official policies, ..."
Abstract
-
Cited by 49 (29 self)
- Add to MetaCart
not be interpreted as representing the official policies,
Human Computation
"... be interpreted as representing official policies, either expressed or implied, of any sponsoring institution, the U.S. government or any other entity. ..."
Abstract
-
Cited by 103 (0 self)
- Add to MetaCart
be interpreted as representing official policies, either expressed or implied, of any sponsoring institution, the U.S. government or any other entity.
Signature Matching: a Tool for Using Software Libraries
- ACM Transactions on Software Engineering and Methodology
, 1995
"... this document are those of the authors and should not be interpreted as necessarily representing the official policies or endorsements, either expressed or implied, of Wright Laboratory or the U. S. Government. The U. S. Government is authorized to reproduce and distribute reprints for Government pu ..."
Abstract
-
Cited by 143 (2 self)
- Add to MetaCart
this document are those of the authors and should not be interpreted as necessarily representing the official policies or endorsements, either expressed or implied, of Wright Laboratory or the U. S. Government. The U. S. Government is authorized to reproduce and distribute reprints for Government
ARE THOSE OF THE AUTHORS AND SHOW..D NOT BE INTERPRETED AS NECESSARILY REPRESENTING THE OFFICIAL POLICIES,
, 1977
"... -—- —i~~~~~~~~-S-.-S ~-~--S.-. — ..."
Results 1 - 10
of
2,192
