478 search results - page 68 / 96 » Providing Government Information on the Internet: Experience... |
175
click to vote
FASE
2005
Springer
15 years 11 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 ...
189
click to vote
COST
1994
Springer
15 years 10 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...
149
click to vote
ICIP
2009
IEEE
15 years 3 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...
177
click to vote
CVPR
2008
IEEE
16 years 17 days 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,...
153
click to vote
SIGCSE
2005
ACM
15 years 11 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...