11022 search results - page 1760 / 2205 » Programming Systems for Autonomy |
226
click to vote
AIR
2004
15 years 7 months ago
2004
This paper reviews the current state of the art in Natural Language Processing for Hebrew, both theoretical and practical. The Hebrew language, like other Semitic languages, poses...
235
click to vote
CCE
2004
15 years 7 months ago
2004
In this paper we provide a general classification of mathematical optimization problems, followed by a matrix of applications that shows the areas in which these problems have bee...
214
click to vote
CORR
2004
Springer
15 years 7 months ago
2004
Springer
ACL2 was used to prove properties of two simplification procedures. The procedures differ in complexity but solve the same programming problem that arises in the context of a reso...
222
click to vote
CORR
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We investigate the evolutionary processes behind the development and optimization of multiple threads of execution in digital organisms using the avida platform, a softwa...
175
click to vote
ENTCS
2000
15 years 7 months ago
2000
Behavioral rewriting di ers from standard rewriting in taking account of the weaker inference rules of behavioral logic, but it shares much with standard rewriting, including noti...