6167 search results - page 12 / 1234 » Can Refinement be Automated |
123
click to vote
ITS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Can automatically generated questions scaffold reading comprehension? We automated three kinds of multiple-choice questions in children’s assisted reading:
160
click to vote
ADAEUROPE
1998
Springer
15 years 8 months ago
1998
Springer
This paper describes an automated approach for generating Ada bindings from Java class files. We start with the set of Java features that require a visible Ada binding, and an Ada ...
166
click to vote
TSMC
2010
14 years 10 months ago
2010
Most existing camera placement algorithms focus on coverage and/or visibility analysis, which ensures that the object of interest is visible in the camera's field of view (FOV...
144
click to vote
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieve...
135
Voted
ESORICS
2002
Springer
16 years 3 months ago
2002
Springer
Confidentiality-preserving refinement describes a relation between a specification and an implementation that ensures that all confidentiality properties required in the specificat...