Sciweavers

544 search results - page 31 / 109
» Overview of QAST 2007
Sort
View
ESANN
2006
15 years 1 months ago
Visual Data Mining and Machine Learning
Information visualization and visual data mining leverage the human visual system to provide insight and understanding of unorganized data. In order to scale to massive sets of hig...
Fabrice Rossi
APVIS
2001
15 years 1 months ago
Visualising the Probability Distribution Function of Uncertain Data - Application to Stochastic Modelling of Ground Water Solute
An overview of previous approaches to the visualisation of uncertainty is presented making the distinction between verity visualisation, where the uncertainty information is an in...
Alan McKinnon, Emma Raymond
DAGSTUHL
2001
15 years 1 months ago
Extended Static Checking: A Ten-Year Perspective
A powerful approach to finding errors in computer software is to translate a given program into a verification condition, a logical formula that is valid if and only if the program...
K. Rustan M. Leino
DAGSTUHL
2001
15 years 1 months ago
A Language-Based Approach to Security
Abstract. Language-based security leverages program analysis and program rewriting to enforce security policies. The approach promises efficient enforcement of fine-grained access ...
Fred B. Schneider, J. Gregory Morrisett, Robert Ha...
DELFI
2003
15 years 1 months ago
Automatic Analysis of Programming Assignments
Abstract: In a virtual university, advanced support for all aspects of handling assignments is needed. Homework assignments are particularly in need of help because communication b...
Christoph Beierle, Marjaa Kulaa, Manfred Widera