3718 search results - page 382 / 744 » Programming by Integration in Robotics |
194
click to vote
AGP
1997
IEEE
15 years 11 months ago
1997
IEEE
We propose an algorithm for learning abductive logic programs from examples. We consider the Abductive Concept Learning framework, an extension of the Inductive Logic Programming ...
206
click to vote
HASKELL
2007
ACM
15 years 10 months ago
2007
ACM
This paper describes the design and construction of a Haskell source-level debugger built into the GHCi interactive environment. We have taken a pragmatic approach: the debugger i...
179
click to vote
FECS
2007
15 years 8 months ago
2007
Computing professionals are employed in so many different ways that it is difficult to even define the common foundation that all of them should master; however, a single degree ...
183
click to vote
CACM
2010
15 years 7 months ago
2010
Static program analysis techniques cannot know certain values, such as the value of user input or network state, at analysis time. While such unknown values need to be treated as ...
163
click to vote
HASKELL
2005
ACM
16 years 12 days ago
2005
ACM
Some Lisp programs such as Emacs, but also the Linux kernel (when fully modularised) are mostly dynamic; i.e., apart from a small static core, the significant functionality is dy...