3824 search results - page 543 / 765 » Geometry Constructions Language |
159
click to vote
ITS
2004
Springer
15 years 12 months ago
2004
Springer
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...
153
click to vote
SAT
2004
Springer
15 years 12 months ago
2004
Springer
We propose and study a technique to improve the performance of those local-search SAT solvers that proceed by executing a prespecified number of tries, each starting with an eleme...
200
click to vote
LICS
2002
IEEE
15 years 11 months ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
175
click to vote
CC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. It is difficult to develop style-preserving source-to-source transformation engines for C and C++. The main reason is not the complexity of those languages, but the use o...
205
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
From a software engineering perspective, agent systems are a specialization of object-oriented (OO) systems, in which individual objects have their own threads of control and thei...