1532 search results - page 59 / 307 » Functional density synchronization |
MICCAI
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. In this paper we propose a novel non-Gaussian MRF for regularization of tensor fields for fiber tract enhancement. Two entities are considered in the model, namely, the l...
TCBB
2008
14 years 9 months ago
2008
When accounting for structural fluctuations or measurement errors, a single rigid structure may not be sufficient to represent a protein. One approach to solve this problem is to r...
IPPS
1998
IEEE
15 years 2 months ago
1998
IEEE
Mixed-Mode simulation has been generating considerable interest in the simulation community and has continued to grow as an active research area. Traditional mixed-mode simulation...
ENTCS
2006
14 years 9 months ago
2006
We report on an experiment in combining Isabelle with automatic first-order arithmetic provers to increase automation on the verification of distributed protocols. As a case study...
CSCW
2010
ACM
15 years 6 months ago
2010
ACM
Synchronous groupware depends on the assumption that people are fully connected to the others in the group, but there are many situations (network delay, network outage, or explic...