Sciweavers

12487 search results - page 71 / 2498
» Graspable Work Modeling
Sort
View
117
Voted
CMOT
2010
203views more  CMOT 2010»
14 years 10 months ago
A Bayesian approach to modeling lost person behaviors based on terrain features in Wilderness Search and Rescue
: In Wilderness Search and Rescue (WiSAR), the incident commander (IC) creates a probability distribution map of the likely location of the missing person. This map is important be...
Lanny Lin, Michael A. Goodrich
103
Voted
CORR
2011
Springer
148views Education» more  CORR 2011»
14 years 7 months ago
Modeling the pairwise key distribution scheme in the presence of unreliable links
Abstract— We investigate the secure connectivity of wireless sensor networks under the pairwise key distribution scheme of Chan et al.. Unlike recent work which was carried out u...
Osman Yagan, Armand M. Makowski
144
Voted
CGF
2010
139views more  CGF 2010»
14 years 7 months ago
Visualization of Large-Scale Urban Models through Multi-Level Relief Impostors
In this paper, we present an efficient approach for the interactive rendering of large-scale urban models, which can be integrated seamlessly with virtual globe applications. Our ...
Carlos Andújar, Pere Brunet, Antoni Chica, ...
103
Voted
JMLR
2010
169views more  JMLR 2010»
14 years 7 months ago
Factored 3-Way Restricted Boltzmann Machines For Modeling Natural Images
Deep belief nets have been successful in modeling handwritten characters, but it has proved more difficult to apply them to real images. The problem lies in the restricted Boltzma...
Marc'Aurelio Ranzato, Alex Krizhevsky, Geoffrey E....
112
Voted
SBMF
2010
Springer
129views Formal Methods» more  SBMF 2010»
14 years 7 months ago
Directed Model Checking for B: An Evaluation and New Techniques
ProB is a model checker for high-level formalisms such as B, Event-B, CSP and Z. ProB uses a mixed depth-first/breadth-first search strategy, and in previous work we have argued th...
Michael Leuschel, Jens Bendisposto