153 search results - page 26 / 31 » A Regularization Approach to Metrical Task Systems |
96
Voted
MICCAI
2008
Springer
15 years 10 months ago
2008
Springer
Locating Brain tumor segmentation within MR (magnetic resonance) images is integral to the treatment of brain cancer. This segmentation task requires classifying each voxel as eith...
MKM
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of deļ¬nitions, which often use overloaded notation. For eļ...
SP
2010
IEEE
15 years 1 months ago
2010
IEEE
AbstractāIn network intrusion detection research, one popular strategy for ļ¬nding attacks is monitoring a networkās activity for anomalies: deviations from proļ¬les of norma...
FINTAL
2006
15 years 1 months ago
2006
The tool extract enables the automatic extraction of lemma-paradigm pairs from raw text data. The tool uses search patterns that consist of regular expressions and propositional lo...
WCRE
1995
IEEE
15 years 1 months ago
1995
IEEE
A legacy system is an operational, large-scale software system that is maintained beyond its ļ¬rst generation of programmers. It typically represents a massive economic investmen...