4325 search results - page 158 / 865 » Incremental computation with names |
174
click to vote
ACMSE
2010
ACM
15 years 4 months ago
2010
ACM
Reinforcement Programming (RP) is a new technique for automatically generating a computer program using reinforcement learning methods. This paper describes how RP learned to gene...
147
click to vote
CHI
2001
ACM
16 years 6 months ago
2001
ACM
We developed and evaluated seven interfaces for integrating semantic category information with Web search results. List interfaces were based on the familiar ranked-listing of sea...
175
click to vote
NAACL
2010
15 years 4 months ago
2010
Most state of the art approaches for machine transliteration are data driven and require significant parallel names corpora between languages. As a result, developing transliterat...
152
click to vote
ISSAC
2007
Springer
16 years 19 days ago
2007
Springer
In this paper, we describe the design of a C library named PTPol implementing arithmetic operations for univariate polynomials and report on practical experiments showing the rele...
149
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
Several applications of graph rewriting systems (notably, some encodings of calculi with name passing) require rules which, besides deleting and generating graph items, are able to...