2859 search results - page 147 / 572 » A Programming Environment for Bousi-Prolog |
168
click to vote
ASE
2005
15 years 4 months ago
2005
Despite its well-recognized benefits, software reuse has not met its expected success due to technical, cognitive, and social difficulties. We have systematically analyzed the reu...
166
click to vote
VRML
2004
ACM
15 years 10 months ago
2004
ACM
Increasingly, biology researchers and medical practitioners are using computational tools to model and analyze dynamic systems across scales from the macro to the cellular to the ...
155
click to vote
SIGCSE
2010
ACM
15 years 10 months ago
2010
ACM
Inspired by the formal code inspection process commonly used in the software industry, we have been exploring the use of pedagogical code reviews (PCRs), in which a team of three ...
148
click to vote
AI
2008
Springer
15 years 5 months ago
2008
Springer
The notion of maintenance often appears in the AI literature in the context of agent behavior and planning. In this paper, we argue that earlier characterizations of the notion of...
163
Voted
TLCA
2009
Springer
15 years 11 months ago
2009
Springer
Taha and Nielsen have developed a multi-stage calculus λα with a sound type system using the notion of environment classifiers. They are special identifiers, with which code fr...