18716 search results - page 173 / 3744 » Automatic |
132
click to vote
ICLP
2007
Springer
15 years 10 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...
148
click to vote
ISVC
2007
Springer
15 years 10 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 ...
147
click to vote
MLMI
2007
Springer
15 years 10 months ago
2007
Springer
In conversational speech, irregularities in the speech such as overlaps and disruptions make it difficult to decide what is a sentence. Thus, despite very precise guidelines on how...
137
click to vote
MLMI
2007
Springer
15 years 10 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...
137
Voted
NLDB
2007
Springer
15 years 10 months ago
2007
Springer
Various methodologies for structuring the process of domain modeling have been proposed, but there are few software tools that provide automatic support for the process of construc...