10916 search results - page 302 / 2184 » On Constructive Connectives and Systems |
161
click to vote
ITS
2010
Springer
15 years 11 months ago
2010
Springer
DynaLearn is an Interactive Learning Environment that facilitates a constructive approach to developing a conceptual understanding of how systems work. The software can be put in d...
294
click to vote
DATE
1998
IEEE
15 years 11 months ago
1998
IEEE
Attribute grammars have been used extensively in every phase of traditional compiler construction. Recently, it has been shown that they can also be effectively adopted to handle ...
184
click to vote
ICNP
2009
IEEE
16 years 1 months ago
2009
IEEE
— Millions of residential users are widely served by cable or DSL connections with modest upload bandwidth and relatively high download bandwidth. For the increasingly important ...
179
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we describe Ginger, a new language with first class support for literate programming. Literate programming refers to a philosophy that argues computer programs shou...
147
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— We study the problem of dynamic learning by a social network of agents. Each agent receives a signal about an underlying state and communicates with a subset of agents (his nei...