2521 search results - page 491 / 505 » Semantic Component Composition |
206
Voted
ICLP
2009
Springer
16 years 3 months ago
2009
Springer
The SLG-WAM of XSB Prolog soundly implements the Well-Founded Semantics (WFS) for logic programs, but in a few pathological cases its engine treats atoms as undefined that are true...
109
Voted
ICFP
2007
ACM
16 years 2 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
113
Voted
ICFP
2006
ACM
16 years 2 months ago
2006
ACM
d abstract) Keiko Nakata1 Jacques Garrigue2 1 Kyoto University Research Institute for Mathematical Sciences 2 Graduate School of Mathematics, Nagoya University The ML module syste...
117
Voted
MMM
2009
Springer
15 years 11 months ago
2009
Springer
—In this paper, we have developed a novel framework called JustClick to enable personalized image recommendation via exploratory search from large-scale collections of manuallyan...
109
click to vote
CSCW
2010
ACM
15 years 11 months ago
2010
ACM
It would be useful if software engineers/instructors could be aware that remote team members/students are having difficulty with their programming tasks. We have developed an appr...