Sciweavers

3677 search results - page 571 / 736
» Is a probabilistic modeling
Sort
View
ICRA
2007
IEEE
130views Robotics» more  ICRA 2007»
15 years 10 months ago
The Cost of Reality: Effects of Real-World Factors on Multi-Robot Search
— Designing algorithms for multi-robot systems can be a complex and difficult process: the cost of such systems can be very high, collecting experimental data can be timeconsumi...
Jim Pugh, Alcherio Martinoli
ICRA
2007
IEEE
175views Robotics» more  ICRA 2007»
15 years 10 months ago
Homography Based Kalman Filter for Mosaic Building. Applications to UAV position estimation
— This paper presents a probabilistic framework where uncertainties can be considered in the mosaic building process. It is shown how can be used as an environment representation...
Fernando Caballero, Luis Merino, Joaquin Ferruz, A...
ICANN
2007
Springer
15 years 10 months ago
Generalized Softmax Networks for Non-linear Component Extraction
Abstract. We develop a probabilistic interpretation of non-linear component extraction in neural networks that activate their hidden units according to a softmaxlike mechanism. On ...
Jörg Lücke, Maneesh Sahani
CSFW
2006
IEEE
15 years 10 months ago
Computationally Sound Compositional Logic for Key Exchange Protocols
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
Anupam Datta, Ante Derek, John C. Mitchell, Bogdan...
QEST
2006
IEEE
15 years 10 months ago
Limiting Behavior of Markov Chains with Eager Attractors
We consider discrete infinite-state Markov chains which contain an eager finite attractor. A finite attractor is a finite subset of states that is eventually reached with prob...
Parosh Aziz Abdulla, Noomene Ben Henda, Richard Ma...