12774 search results - page 2312 / 2555 » A Framework for Proof Systems |
171
click to vote
CARS
2001
15 years 8 months ago
2001
: In multimodal image-guided surgery, surgeons have to manage large amounts of information (i.e. images) to plan and perform the surgical procedure. To facilitate management we att...
149
click to vote
DAGSTUHL
2001
15 years 8 months ago
2001
Visualization of an algorithm offers only a rough picture of operations. Explanations are crucial for deeper understanding, because they help the viewer to associate the visualiza...
173
click to vote
CISST
2003
15 years 8 months ago
2003
The unique human expertise in imagery analysis should be preserved and shared with other imagery analysts to improve image analysis and decision-making. Such knowledge can serve a...
171
click to vote
EUSFLAT
2001
15 years 8 months ago
2001
This work points out advantages for the application of fuzzy logic in organization analysis and control. From the presented motivations we propose both a managerial control cycle ...
197
click to vote
DAGSTUHL
2003
15 years 8 months ago
2003
Many systems require the setting of a large number of parameters. This is often a difficult and time consuming task, especially for novice users. A framework is presented to simp...