11949 search results - page 134 / 2390 » Some results on (a:b)-choosability |
MICCAI
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. Criteria to design MR (Magnetic Resonance) compatible mechatronic devices, e.g., surgical robots, are discussed. Some of critical interactions between MRI and mechatronic...
113
click to vote
KR
1998
Springer
15 years 5 months ago
1998
Springer
In this paper, we propose a definition of goal achievability: given a basic action theory describing an initial state of the world and some primitive actions available to a robot,...
114
click to vote
AADEBUG
1997
Springer
15 years 5 months ago
1997
Springer
This paper presents a new approach to enforcing array bounds and pointer checking in the C language. Checking is rigorous in the sense that the result of pointer arithmetic must r...
138
click to vote
ACAL
2009
Springer
15 years 5 months ago
2009
Springer
Societal behaviour can be studied at a causal level by perturbing a stable multi-agent model with new microscopic behaviours and observing the statistical response over an ensembl...
116
click to vote
FGR
2000
IEEE
15 years 4 months ago
2000
IEEE
This paper compares different confidence measures for the results of statistical face recognition systems. The main applications of a confidence measure are rejection of unknown p...