6014 search results - page 816 / 1203 » Parametric Analysis of Computer Systems |
184
click to vote
TPHOL
2005
IEEE
16 years 10 days ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
169
Voted
GRAPHITE
2003
ACM
16 years 5 hour ago
2003
ACM
The complexity of most virtual environments prevents them being rendered in real time even on modern graphics hardware. Knowledge of the visual system of the user viewing the envi...
340
click to vote
Lecture Notes
A comprehensive treatment of network security. Topics include remote access security, DMZ, firewalls, VPNs, PKI architecture, X.509 Public key infrastructure, web security, S-HTTP,...
170
Voted
CVPR
2000
IEEE
16 years 8 months ago
2000
IEEE
Online photo sharing systems, such as Flickr and Picasa, provide a valuable source of human-annotated photos. Textual annotations are used not only to describe the visual content ...
159
Voted
CVPR
2006
IEEE
16 years 8 months ago
2006
IEEE
We describe a realtime system for finding and tracking unstructured paths in off-road conditions. The system was designed as part of the recent Darpa Grand Challenge and was teste...