2871 search results - page 468 / 575 » An Auxiliary Variational Method |
155
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Multi-agent coordination problems can be cast as distributed optimization tasks. Probability Collectives (PCs) are techniques that deal with such problems in discrete and conti...
184
click to vote
FM
2009
Springer
15 years 11 months ago
2009
Springer
We study a clock synchronization protocol for the Chess WSN. First, we model the protocol as a network of timed automata and verify various instances using the Uppaal model checker...
171
click to vote
ICFCA
2009
Springer
15 years 11 months ago
2009
Springer
This paper presents Binary Decision Diagrams (BDDs) applied to Formal Concept Analysis (FCA). The aim is to increase the FCA capability to handle large formal contexts. The main id...
183
click to vote
MICCAI
2009
Springer
15 years 11 months ago
2009
Springer
We propose a recursive Bayesian model for the delineation of coronary arteries from 3D CT angiograms (cardiac CTA) and discuss the use of discrete minimal path techniques as an eï¬...
154
click to vote
SIGGRAPH
2010
ACM
15 years 11 months ago
2010
ACM
We present a method for real-time sound propagation that captures all wave effects, including diffraction and reverberation, for multiple moving sources and a moving listener in a...