4211 search results - page 375 / 843 » Types as Abstract Interpretations |
183
click to vote
AAAI
2004
15 years 8 months ago
2004
Qualitative assessment of scientific computations is an emerging application area that applies a data-driven approach to characterize, at a high level, phenomena including conditi...
188
click to vote
AVI
2004
15 years 8 months ago
2004
We present a program visualization tool called Jeliot 3 that is designed to aid novice students to learn procedural and object oriented programming. The key feature of Jeliot is t...
207
click to vote
AVI
2006
15 years 8 months ago
2006
Heuristic evaluation is a well known discount evaluation technique in HCI but has not been utilized in Information Visualization (InfoVis) to the same extent. While several sets o...
207
click to vote
DMIN
2006
15 years 8 months ago
2006
In this paper we present the results of applying data mining techniques to identify patterns and anomalies in air traffic control operational errors (OEs). Reducing the OE rate is ...
137
click to vote
ECIS
2001
15 years 8 months ago
2001
Information technology (IT) support for managing competence is based on a rationalistic view of competence. While these competence systems might work in rationalistic organization...