6978 search results - page 1111 / 1396 » On Proofs in System P |
154
click to vote
IUI
2005
ACM
16 years 9 days ago
2005
ACM
Finding the optimal teaching strategy for an individual student is difficult even for an experienced teacher. Identifying and incorporating multiple optimal teaching strategies fo...
170
click to vote
MM
2005
ACM
16 years 9 days ago
2005
ACM
In this technical demonstration we showcase the MediaMill system. A search engine that facilitates access to news video archives at a semantic level. The core of the system is an ...
149
click to vote
AIED
2005
Springer
16 years 9 days ago
2005
Springer
Middle school mathematics teachers are often forced to choose between assisting students' development and assessing students' abilities because of limited classroom time ...
165
click to vote
DEXA
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Non-trivial retrieval applications involve complex computations on large multi-dimensional datasets. These should, in principle, benefit from the use of relational datab...
174
click to vote
FPL
2005
Springer
16 years 8 days ago
2005
Springer
Dynamically reconfigurable logic is becoming an important design unit in SoC system. A method to make the reconfiguration management transparent to software applications is requir...