293 search results - page 16 / 59 » Quantitative analysis of scrolling techniques |
MICCAI
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. A fully automated method for quantitative analysis of dynamic contrast-enhanced MRI data acquired with low and high field scanners, using spin echo and gradient echo seq...
AAAI
2006
13 years 9 months ago
2006
Distributed Constraint Optimization (DCOP) is rapidly emerging as a prominent technique for multiagent coordination. However, despite agent privacy being a key motivation for appl...
AMAST
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. We present a static analysis technique for modeling and approximating the long-run resource usage of programs. The approach is based on a quantitative semantic framework ...
COORDINATION
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. Reo is a channel-based coordination model whose operational semantics is given by Constraint Automata (CA). Quantitative Constraint Automata extend CA (and hence, Reo) wi...
SCIA
2005
Springer
14 years 1 months ago
2005
Springer
We compare three hierarchical structures, S15, C15, C19, that are used to steer a segmentation process in 3d voxel images. There is an important topological difference between C19...