411 search results - page 53 / 83 » Automating the Dependency Pair Method |
LPAR
2005
Springer
14 years 4 months ago
2005
Springer
Model checking is a useful method to verify automatically the correctness of a system with respect to a desired behavior, by checking whether a mathematical model of the system sat...
SCIA
2005
Springer
14 years 4 months ago
2005
Springer
In this paper a fully automated segmentation system for the femur in the knee in Magnetic Resonance Images and the brain in Single Photon Emission Computed Tomography images is pr...
ESANN
2008
14 years 5 days ago
2008
Clustering algorithms such as k-means, the self-organizing map (SOM), or Neural Gas (NG) constitute popular tools for automated information analysis. Since data sets are becoming l...
WSC
1998
14 years 2 days ago
1998
It is well known that the performance of a parallel discreteevent simulation (PDES) depends on the allocation of the workload to processors. In particular, poor performance may be...
ICPR
2010
IEEE
13 years 8 months ago
2010
IEEE
Attribute filters allow enhancement and extraction of features without distorting their borders, and never introduce new image features. These are highly desirable properties in bi...