6514 search results - page 1176 / 1303 » Low-Knowledge Algorithm Control |
138
click to vote
VCIP
2000
15 years 3 months ago
2000
MIME (Mime Is Manual Expression) is a computationally efficient computer vision system for recognizing hand gestures. The system is intended to replace the mouse interface on a st...
125
click to vote
DAGSTUHL
1996
15 years 3 months ago
1996
Abstract. Type-directed partial evaluation stems from the residualization of arbitrary static values in dynamic contexts, given their type. Its algorithm coincides with the one for...
110
click to vote
DIMACS
1996
15 years 3 months ago
1996
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...
139
click to vote
ACL
1990
15 years 2 months ago
1990
We define a set of deterministic bottom-up left to right parsers which analyze a subset of Tree Adjoining Languages. The LR parsing strategy for Context Free Grammars is extended ...
118
click to vote
DAGSTUHL
1990
15 years 2 months ago
1990
One of the principal advantages of parallelizing a rule-based system, or more generally, any A.I. system, is the ability to pursue alternate search paths concurrently. Conventiona...