89222 search results - page 29 / 17845 » Which |
92
Voted
ICFP
1996
ACM
15 years 5 months ago
1996
ACM
An extension of the simply-typed lambda calculus is presented which contains both well-structured inductive and coinductive types, and which also identifies a class of types for w...
119
click to vote
ICRA
1994
IEEE
15 years 4 months ago
1994
IEEE
In this paper, we report on experiments with a core system for autonomous navigation in outdoor natural terrain. The system consists of three parts: a perception module which proc...
106
Voted
AISC
1994
Springer
15 years 4 months ago
1994
Springer
This paper investigates some soundness conditions which have to be fulfilled in systems with coercions and generic operators. A result of Reynolds on unrestricted generic operators...
109
Voted
ACL
2006
15 years 2 months ago
2006
This paper describes a parser which generates parse trees with empty elements in which traces and fillers are co-indexed. The parser is an unlexicalized PCFG parser which is guara...
54
Voted
DCC
2006
IEEE
16 years 11 days ago
2006
IEEE
We determine all linear codes C containing the constant code E, for which there is a weight-preserving group of semilinear automorphisms which acts transitively on the set of nont...