557 search results - page 61 / 112 » The L4.verified Project - Next Steps |
ENTCS
2002
13 years 7 months ago
2002
Two co-initial reductions in a term rewriting system are said to be equivalent if they perform the same steps, albeit maybe in a different order. We present four characterisations...
IV
2009
IEEE
14 years 2 months ago
2009
IEEE
Interactive 3D geovirtual environments (GeoVE), such as 3D virtual city and landscape models, are important tools to communicate geo-spatial information. Usually, this includes st...
CVPR
2010
IEEE
14 years 1 months ago
2010
IEEE
In this paper, we present results and experiments with several methods for bundle adjustment, producing the fastest bundle adjuster ever published. The fastest methods work with t...
AGILEDC
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper describes the authors’ experiences creating a full Build Management System from a simple Version Control System. We will explore how the XP values of simplicity, feed...
JCDL
2006
ACM
14 years 1 months ago
2006
ACM
A number of projects are creating searchable digital libraries of printed books. These include the Million Book Project, the Google Book project and similar efforts from Yahoo an...