4211 search results - page 559 / 843 » Types as Abstract Interpretations |
176
click to vote
ITCC
2005
IEEE
16 years 3 days ago
2005
IEEE
models evolve at different levels of abstraction, from the requirements specification to development of the source code. The models underlying this process are related and their ...
184
click to vote
SIGMOD
2005
ACM
16 years 2 days ago
2005
ACM
Recursion represents an important addition to the SQL language. This work focuses on the optimization of linear requeries in SQL. To provide an abstract framework for discussion, ...
187
click to vote
ACIVS
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Functional magnetic resonance (fMRI) data are often corrupted with colored noise. To account for this type of noise, many prewhitening and pre-coloring strategies have be...
146
click to vote
AIED
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. This paper describes the process by which we are constructing an intelligent tutoring system (ERST) designed to improve learners’ external representation (ER) selection...
135
click to vote
AIED
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. This paper addresses the ongoing discussion on influencing factors of automatic essay scoring with latent semantic analysis (LSA). Throughout this paper, we contribute to...