15754 search results - page 738 / 3151 » Programs are Knowledge Bases |
161
click to vote
EOR
2002
15 years 7 months ago
2002
: We present the groupware MEMO-Net which aim is to support collective problem solving and to memorize all exchanged arguments. This groupware is based on a knowledgestructuring me...
168
click to vote
ALP
1990
Springer
15 years 11 months ago
1990
Springer
Conditional Equational Programming is an elegant way to uniformly integrate important features of functional and logic programming. Efficientmethods for equation solving are thus ...
189
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...
160
click to vote
ICML
2009
IEEE
16 years 8 months ago
2009
IEEE
Approximate Linear Programming (ALP) is a reinforcement learning technique with nice theoretical properties, but it often performs poorly in practice. We identify some reasons for...
207
click to vote
STOC
2003
ACM
16 years 7 months ago
2003
ACM
We give efficient algorithms to sample uniformly, and count approximately, the solutions to a zero-one knapsack problem. The algorithm is based on using dynamic programming to pro...