557 search results - page 26 / 112 » The L4.verified Project - Next Steps |
SCA
2007
13 years 11 months ago
2007
We describe a method for animating incompressible liquids with detailed free surfaces. For each time step, semiLagrangian contouring computes a new fluid boundary (represented as ...
SAMT
2007
Springer
14 years 2 months ago
2007
Springer
—This poster describes the aim and the main research activities carried out within the project Multimodal and Multidimensional Content and Media of the ICT Department of the Nati...
JCSC
2002
13 years 8 months ago
2002
Memory accesses account for a large percentage of total power in microprocessor-based embedded systems. The increasing use of microprocessor cores and synthesis, rather than prefa...
CIBCB
2006
IEEE
13 years 10 months ago
2006
IEEE
In recent years, unsupervised gene (feature) selection has become an integral part of microarray analysis because of the large number of genes and complexity in biological systems....
LREC
2008
13 years 10 months ago
2008
The project described in this paper is funded by the French Ministry of Research. It aims at providing producers of Language Resources, and HLT players in general, with a guide wh...