725 search results - page 59 / 145 » Overview of TREC 2007 |
APVIS
2001
13 years 11 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 11 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 11 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 11 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 11 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...