10289 search results - page 271 / 2058 » Standard bases in K |
191
click to vote
AIEDU
2006
15 years 6 months ago
2006
Constructing a student model for language tutors is a challenging task. This paper describes using knowledge tracing to construct a student model of reading proficiency and validat...
150
click to vote
SIGCSE
2008
ACM
15 years 6 months ago
2008
ACM
Virtual laboratories are a potential replacement for standard laboratory facilities. Use of these virtual resources can reduce cost and maintenance overheads for teaching institut...
149
click to vote
AUTOMATICA
2004
15 years 6 months ago
2004
A digital control application for the frequency stabilization of optical frequency standards is presented. The standard employed is a monolithic neodymium in yttrium aluminum garn...
213
click to vote
ENTCS
2006
15 years 6 months ago
2006
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...
202
click to vote
CCIA
2005
Springer
16 years 2 days ago
2005
Springer
The search of Web resources is a very important topic due to the huge amount of valuable information available in the WWW. Standard search engines can be a great help but they are ...