653 search results - page 65 / 131 » The stepping stones project |
TPHOL
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract. Interactive proof assistants should verify the proofs they receive from automatic theorem provers. Normally this proof reconstruction takes place internally, forming part...
107
click to vote
IWSM
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Non-functional requirements (NFRs) of software systems are an important source of uncertainty in effort estimation. Furthermore, quantitatively approaching NFR early in a...
SCIA
2007
Springer
15 years 6 months ago
2007
Springer
Direct image registration methods usually treat shadows as outliers. We propose a method which registers images in a 1D shadow invariant space. Shadow invariant image formation is ...
CVPR
2010
IEEE
15 years 5 months ago
2010
IEEE
We propose a new method to analyze light transport in homogeneous scattering media. The incident light undergoes multiple bounces in translucent objects, and produces a complex li...
AICT
2005
IEEE
15 years 5 months ago
2005
IEEE
PlanetLab has significantly lowered the barriers to deploying overlays. This paper describes how to lower them further by introducing a general data plane for overlay networks. R...