557 search results - page 100 / 112 » The L4.verified Project - Next Steps |
RT
2001
Springer
14 years 20 hour ago
2001
Springer
The measurement of accurate material properties is an important step towards photorealistic rendering. Many real-world objects are composed of a number of materials that often show...
IDEAS
2000
IEEE
13 years 12 months ago
2000
IEEE
Most operations of the relational algebra or SQL - like projection with duplicate elimination, join, ordering, group by and aggregations - are efficiently processed using a sorted...
ISORC
2000
IEEE
13 years 12 months ago
2000
IEEE
This paper documents progress to date on a research project, the goal of which is wartime event prediction. The paper describes the operational concept, the datamining environment...
SSDBM
2010
IEEE
13 years 12 months ago
2010
IEEE
Abstract. As scientists continue to migrate their work to computational methods, it is important to track not only the steps involved in the computation but also the data consumed ...
NAR
2007
13 years 7 months ago
2007
PAR-3D (http://sunserver.cdfd.org.in:8080/protease /PAR_3D/index.html) is a web-based tool that exploits the fact that relative juxtaposition of active site residues is a conserve...