7890 search results - page 1446 / 1578 » The MathSAT 3 System |
132
click to vote
LCTRTS
2010
Springer
15 years 11 months ago
2010
Springer
Coarse Grain Reconfigurable Architectures (CGRAs) promise high performance at high power efficiency. They fulfil this promise by keeping the hardware extremely simple, and movi...
145
click to vote
SENSYS
2009
ACM
15 years 11 months ago
2009
ACM
Continuous and reliable operation of WSNs is notoriously difficult to guarantee due to hardware degradation and environmental changes. In this paper, we propose and demonstrate a ...
168
click to vote
SENSYS
2009
ACM
15 years 11 months ago
2009
ACM
Sensor networks have the potential to empower domain experts from a wide range of fields. However, presently they are notoriously difficult for these domain experts to program, ...
121
click to vote
AIED
2009
Springer
15 years 11 months ago
2009
Springer
This paper explores the role that feedback based on past actions and motivational states of the learner can have in a motivationally and metacognitively aware Intelligent Tutoring ...
161
click to vote
WOLLIC
2009
Springer
15 years 11 months ago
2009
Springer
The paper provides a recipe for adequately representing a very inclusive class of finite-valued logics by way of tableaux. The only requisite for applying the method is that the o...