4075 search results - page 394 / 815 » Modeling Distributed Algorithm Using B |
163
click to vote
ICANN
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present a novel approach to structure learning for graphical models. By using nonparametric estimates to model clique densities in decomposable models, both discrete a...
164
click to vote
ICPR
2006
IEEE
16 years 26 days ago
2006
IEEE
We introduce a novel statistical deformable model called SAMTUS for the segmentation of soft tissue tubular structures. The model is composed of an assembly of statistically defor...
197
click to vote
ICPR
2006
IEEE
16 years 8 months ago
2006
IEEE
This paper revisits the model-based approaches for groupwise shape alignment. The key contribution is modeling the landmarks instead of considering them as nodes sliding along the...
196
click to vote
ATAL
2005
Springer
16 years 11 days ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
147
click to vote
CASCON
2003
15 years 8 months ago
2003
The advance in wireless networks and in positioning systems has led to the development of a new generation of mobile applications: location-based services (LBS). LBS offer highly ...