33 search results - page 4 / 7 » On countable choice and sequential spaces |
77
Voted
CVBIA
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Digital subtraction angiography (DSA) reconstructions and 3D Magnetic Resonance Angiography (MRA) are the modalities of choice for diagnosis of vascular diseases. However...
85
Voted
TCS
2010
14 years 7 months ago
2010
The refinement calculus of Back, Morgan, Morris, and others is based on monotone predicate transformers (weakest preconditions) where conjunctions stand for demonic choices betwee...
93
Voted
COSIT
2003
Springer
15 years 2 months ago
2003
Springer
To travel successfully in a dynamic space-time setting, wayfinders must project the impact of a changing environment onto future travel choices. When making decisions, however, peo...
106
click to vote
ICFP
2008
ACM
15 years 9 months ago
2008
ACM
This paper presents a semantic space profiler for parallel functional programs. Building on previous work in sequential profiling, our tools help programmers to relate runtime res...
ICRA
2010
IEEE
14 years 8 months ago
2010
IEEE
— This paper presents a multi-skill motion planner which is able to sequentially synchronize parameterized motion skills in order to achieve humanoid motions exhibiting complex w...