3025 search results - page 372 / 605 » Automatic Programming of Robots Using Genetic Programming |
170
click to vote
ACMDIS
2006
ACM
16 years 17 days ago
2006
ACM
Designers generally agree that understanding the context of use is important in designing products. However, technologically advanced products such as personal robots engender com...
274
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
In the spirit of Landin, we present a calculus of dependent types to serve as the semantic foundation for a family of languages called data description languages. Such languages, ...
165
click to vote
FASE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Software is often tested with unit tests, in which each procedure is executed in isolation, and its result compared with an expected value. Individual tests correspond to...
170
click to vote
DOCENG
2004
ACM
16 years 10 hour ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
166
click to vote
SAS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the omission of t...