1835 search results - page 190 / 367 » Functional Programming of Behavior-Based Systems |
151
click to vote
IJCAI
1989
15 years 7 months ago
1989
This paper describes DIDO, a system we have developed to carry out exploratory learning of unfamiliar domains without assistance from an external teacher. The program incorporates...
144
click to vote
OZCHI
2009
ACM
16 years 25 days ago
2009
ACM
Millions of people in Canada have impairments that result in a loss of function and directly affect their ability to carry out activities of daily living. Many individuals with di...
197
click to vote
ACL2
2006
ACM
16 years 5 hour ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...
181
click to vote
ENTCS
2007
15 years 5 months ago
2007
We present two enhancements of the functional language L which is used in the eriFun system to write programs and formulate statements about them. Context dependent procedures all...
166
click to vote
PLDI
2006
ACM
15 years 12 months ago
2006
ACM
Software updates typically require stopping and restarting an application, but many systems cannot afford to halt service, or would prefer not to. Dynamic software updating (DSU) ...