478 search results - page 68 / 96 » Providing Government Information on the Internet: Experience... |
FASE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...
COST
1994
Springer
13 years 11 months ago
1994
Springer
In this paper, a teleservice for archiving and retrieving multimedia documents using public networks is described. This teleservice encourages a broad range of commercially applic...
ICIP
2009
IEEE
13 years 5 months ago
2009
IEEE
We introduce a framework for face recognition at a distance based on sparse-stereo reconstruction. We develop a 3D acquisition system that consists of two CCD stereo cameras mount...
CVPR
2008
IEEE
14 years 2 months ago
2008
IEEE
Background estimation, i.e. automatic recovery of the background image from a sequence of images containing moving foreground objects, is an important module in many applications,...
SIGCSE
2005
ACM
14 years 1 months ago
2005
ACM
The subject matter of a typical undergraduate software engineering course, while providing necessary background, can be quite dry. Team-based programming projects often complement...