5434 search results - page 992 / 1087 » Tool support for MOLA |
DRR
2010
14 years 2 days ago
2010
Biomedical images are invaluable in establishing diagnosis, acquiring technical skills, and implementing best practices in many areas of medicine. At present, images needed for in...
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
In the complex, dynamic domain of Air Traffic Control (ATC) many unexpected events can happen during the execution of a plan. Sometimes these disruptions make the plan infeasible ...
ICSE
2010
IEEE-ACM
13 years 11 months ago
2010
IEEE-ACM
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...
CIVR
2008
Springer
13 years 11 months ago
2008
Springer
In this paper, we propose two ways of improving image classification based on bag-of-words representation [25]. Two shortcomings of this representation are the loss of the spatial...
ESWS
2008
Springer
13 years 11 months ago
2008
Springer
We describe ViCoS, a tool for constructing and visualising conceptual spaces in the area of language documentation. ViCoS allows users to enrich existing lexical information about ...