Sciweavers

4679 search results - page 365 / 936
» Modeling When Connections Are the Problem
Sort
View
200
Voted
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
15 years 5 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier
CVPR
2003
IEEE
16 years 8 months ago
An Efficient Approach to Learning Inhomogeneous Gibbs Model
Inhomogeneous Gibbs model (IGM) [4] is an effective maximum entropy model in characterizing complex highdimensional distributions. However, its training process is so slow that th...
Ziqiang Liu, Hong Chen, Heung-Yeung Shum
IPMI
2009
Springer
16 years 7 months ago
A Statistical Model of White Matter Fiber Bundles based on Currents
The purpose of this paper is to measure the variability of a population of white matter fiber bundles without imposing unrealistic geometrical priors. In this respect, modeling fib...
Stanley Durrleman, Pierre Fillard, Xavier Pennec, ...
CSE
2009
IEEE
16 years 1 months ago
Modeling User Perception of Interaction Opportunities for Effective Teamwork
—This paper presents a model of collaborative decision-making for groups that involve people and computer agents. The model distinguishes between actions relating to participants...
Ece Kamar, Ya'akov Gal, Barbara J. Grosz
ICASSP
2009
IEEE
16 years 1 months ago
Modeling and tracking of faces in real-life illumination conditions
In this paper, we address the problem of face tracking across illumination changes and occlusions. The method is based on leveraging the strengths of both Adaboost to deal with cl...
Rahul Thota, Archana Kalyansundar, Amit Kale