1768 search results - page 142 / 354 » A Logic for Algebraic Effects |
164
click to vote
ICTAI
2007
IEEE
16 years 1 months ago
2007
IEEE
In science and engineering courses, students are often presented a situation for which they are asked to identify the relevant principles and to instantiate them as a set of equat...
183
click to vote
AIED
2011
Springer
2011
Springer
Learning by Teaching SimStudent - An Initial Classroom Baseline Study Comparing with Cognitive Tutor
14 years 10 months ago
: This paper describes an application of a machine-learning agent, SimStudent, as a teachable peer learner that allows a student to learn by teaching. SimStudent has been integrate...
179
click to vote
ITC
2003
IEEE
16 years 8 days ago
2003
IEEE
A technique to derive test vectors that exercise the worstcase delay effects in a domino circuit in the presence of crosstalk is described. A model for characterizing the delay of...
200
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
The paper presents an approach to reasoning about Web services in a temporal action theory. Web services are described by specifying their interaction protocols in an action theory...
154
Voted
ASPDAC
2001
ACM
15 years 10 months ago
2001
ACM
Loical defect diagnosis is a critical yet challenging process in VLSI manufacturing. It involves the identification of the defect spots in a logic IC that fails testing. In the la...