3824 search results - page 472 / 765 » Geometry Constructions Language |
115
click to vote
TPHOL
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract. We present a formal treatment of normalization by evaluation in type theory. The involved semantics of simply-typed λ-calculus is exactly the simply typed fragment of th...
134
click to vote
FOSSACS
2005
Springer
15 years 10 months ago
2005
Springer
The problems of contextual equivalence and approximation are studied for the third-order fragment of Idealized Algol with iteration (IA∗ 3). They are approached via a combination...
107
click to vote
UM
2005
Springer
15 years 10 months ago
2005
Springer
This paper describes the process by which we constructed a user model for ERST - an External Representation Selection Tutor - which recommends external representations (ERs) for pa...
116
click to vote
PASTE
2004
ACM
15 years 10 months ago
2004
ACM
This work discusses two non-traditional approaches for evaluating the imprecision of static analysis. The approaches are based on proofs of feasibility or infeasibility that are c...
146
click to vote
AUSAI
2004
Springer
15 years 10 months ago
2004
Springer
The conversational agent understands and provides users with proper information based on natural language. Conventional agents based on pattern matching have much restriction to ma...