557 search results - page 72 / 112 » The L4.verified Project - Next Steps |
ICML
2001
IEEE
14 years 8 months ago
2001
IEEE
This paper describes an algorithm for generating compact 3D models of indoor environments with mobile robots. Our algorithm employs the expectation maximization algorithm to fit a...
WWW
2005
ACM
14 years 8 months ago
2005
ACM
Being able to determine the provenience of statements is a fundamental step in any SW trust modeling. We propose a methodology that allows signing of small groups of RDF statement...
SC
2009
ACM
14 years 2 months ago
2009
ACM
Energy minimization is an important step in molecular modeling, with applications in molecular docking and in mapping binding sites. Minimization involves repeated evaluation of v...
ICMCS
2008
IEEE
14 years 2 months ago
2008
IEEE
A method for 3D scalable visualization, in a client/server environment is presented. The main idea presented in this paper is to increase the quality of 3D visualization for low b...
SMI
2008
IEEE
14 years 2 months ago
2008
IEEE
We address the problem of bandwidth selection in MLS surfaces. While the problem has received relatively little attention in the literature, we show that appropriate selection pla...