11022 search results - page 113 / 2205 » Programming Systems for Autonomy |
173
click to vote
CADE
2009
Springer
16 years 5 months ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
129
click to vote
CAL
2002
15 years 4 months ago
2002
Embedded systems commonly execute one program for their lifetime. Designing embedded system architectures with configurable components, such that those components can be tuned to t...
119
click to vote
AAAI
1994
15 years 6 months ago
1994
Genetic programming (GP) is an automatic programming technique that has recently been applied to a wide range of problems including blocks-world planning. This paper describes a s...
134
click to vote
INTERACT
2003
15 years 6 months ago
2003
: In 1998 the Stan Ackermans Institute at the Technical University Eindhoven (TU/e), the Netherlands, founded the User System Interaction (USI) Design Program. This program is a tw...
120
click to vote
JUCS
2008
15 years 4 months ago
2008
In this paper we present AmOS, the Ambient Object System that underlies the Ambience programming language. AmOS implements a computation model that supports highly dynamic behaviou...