2586 search results - page 171 / 518 » Automatic Abstraction for Congruences |
102
Voted
LCPC
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. In this paper, we propose an approach to automatic compiler parallelization based on language extensions that is applicable to a broader range of program structures and a...
80
Voted
CBMS
2005
IEEE
15 years 3 months ago
2005
IEEE
The availability of modern imaging techniques such as Confocal Scanning Laser Tomography (CSLT) for capturing high-quality optic nerve images offer the potential for developing au...
78
Voted
ACII
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper presents research using full body skeletal movements captured using video-based sensor technology developed by Vicon Motion Systems, to train a machine to iden...
CONTEXT
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. As the number of mobile devices we carry grows, the job of managing those devices throughout the day becomes cumbersome. This is especially true for cell phones. Despite ...
70
Voted
FIMH
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper describes a method for automatic contour detection in long-axis cardiac MRI using an adaptive virtual exploring robot. The robot is a simulated trained virtual...