2586 search results - page 89 / 518 » Automatic Abstraction for Congruences |
ICLP
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
ISVC
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. The proposed work exploits methods and techniques for automatic characterization of images for content-based access to personal photo libraries. Several techniques, even ...
MLMI
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. In [1], we presented a method for automatic detection of action items from natural conversation. This method relies on supervised classification techniques that are trai...
ICDE
2005
IEEE
15 years 3 months ago
2005
IEEE
With the increasing amount of biomedical literature, there is a need for automatic extraction of information to support biomedical researchers. Due to incomplete biomedical inform...
MLMI
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. An important step to bring speech technologies into wide deployment as a functional component in man-machine interfaces is to free the users from close-talk or desktop mi...