543 search results - page 31 / 109 » Overview of WebCLEF 2007 |
APVIS
2001
13 years 9 months ago
2001
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...
DAGSTUHL
2001
13 years 9 months ago
2001
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...
DAGSTUHL
2001
13 years 9 months ago
2001
Abstract. Language-based security leverages program analysis and program rewriting to enforce security policies. The approach promises efficient enforcement of fine-grained access ...
DELFI
2003
13 years 9 months ago
2003
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...
DGO
2003
13 years 9 months ago
2003
: We overview three major types of GIS-oriented spatiotemporal databases: (1) point-based, (2) region-based, and (3) constraint-based. We analyze the relationship among these spati...