2586 search results - page 66 / 518 » Automatic Abstraction for Congruences |
ECIR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. When automatic plagiarism detection is carried out considering a reference corpus, a suspicious text is compared to a set of original documents in order to relate the pla...
IWPC
2009
IEEE
15 years 4 months ago
2009
IEEE
An approach is presented that automatically determines if a given source code change impacts the design (i.e., UML class diagram) of the system. This allows code-to-design traceab...
AIED
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We present a framework for the automatic annotation of learning objects (LOs) with empirical usage metadata. Our implementation of the Intelligent Learning Object Guide (...
DATE
2008
IEEE
15 years 4 months ago
2008
IEEE
Property checking is a promising approach to prove the correctness of today’s complex designs. However, in practice this requires the formulation of formal properties which is a...
109
click to vote
MMM
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. This paper presents an efficient learning scheme for automatic annotation of video shot size. Instead of existing methods that applied in sports videos using domain knowl...