8828 search results - page 1295 / 1766 » Formal methods in practice |
167
click to vote
EWC
2006
15 years 7 months ago
2006
We have previously proposed a new technique for the communication-free adaptive refinement of tetrahedral meshes that works for all configurations. Implementations of the scheme mu...
188
click to vote
COMCOM
2007
15 years 7 months ago
2007
Many applications of wireless sensor networks require the sensor nodes to obtain their locations. The main idea in most localization methods has been that some nodes with known co...
229
click to vote
IVC
2008
15 years 7 months ago
2008
This paper generalizes Markov Random Field (MRF) stereo methods to the generation of surface relief (height) fields rather than disparity or depth maps. This generalization enable...
168
click to vote
INFSOF
2006
15 years 7 months ago
2006
Contemporary embedded systems quite often employ extremely complicated software consisting of a number of interrelated components, and this has made object-oriented design methodo...
156
click to vote
CSDA
2007
15 years 7 months ago
2007
A common problem in linear regression is that largely aberrant values can strongly influence the results. The least quartile difference (LQD) regression estimator is highly robus...