4609 search results - page 652 / 922 » Automatic Generation of Sigma-Protocols |
185
click to vote
UM
2007
Springer
16 years 22 days ago
2007
Springer
: SimStudent is a machine-learning agent that learns cognitive skills by demonstration. It was originally developed as a building block of the Cognitive Tutor Authoring Tools (CTAT...
152
click to vote
COMPSAC
2006
IEEE
16 years 21 days ago
2006
IEEE
Web applications have become complex and crucial in many fields. In order to assure their quality, a high demand for systematic methodologies of Web application testing is emergin...
151
click to vote
DATE
2006
IEEE
16 years 21 days ago
2006
IEEE
In this paper we propose a dynamic code overlay technique of synchronous data-flow (SDF) –modeled program for low-end embedded systems which lack MMUsupport. With this technique...
191
click to vote
FCCM
2006
IEEE
16 years 21 days ago
2006
IEEE
In this paper, we investigate a combination of two techniques — instruction coding and instruction re-ordering — for optimizing energy in embedded processor control. We presen...
159
click to vote
CASES
2006
ACM
16 years 18 days ago
2006
ACM
In this paper we study, through a concrete case, the feasibility of using a high-level, general-purpose logic language in the design and implementation of applications targeting w...