181 search results - page 15 / 37 » Towards a Philosophy of Instruction |
135
click to vote
KBSE
2000
IEEE
15 years 6 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
COR
2006
15 years 1 months ago
2006
Evolution by natural selection may include both frequency and density-dependence. Frequency-dependent selection is a kind of hermeneutic circle. As a literary term (and a school o...
167
click to vote
AGP
2010
IEEE
14 years 12 months ago
2010
IEEE
The Italian Logic Programming community has given several contributions to the theory of Concurrent Constraint Programming. In particular, in the topics of semantics, verification,...
124
Voted
ET
2007
15 years 1 months ago
2007
In this paper, we focus on reliability, one of the most fundamental and important challenges, in the nanoelectronics environment. For a processor architecture based on the unreliab...
103
click to vote
CHI
2010
ACM
15 years 8 months ago
2010
ACM
When asked to draw, many people are hesitant because they consider themselves unable to draw well. This paper describes the first system for a computer to provide direction and fe...