Sciweavers

169 search results - page 31 / 34
» Automatic Document Logo Detection
Sort
View
PROCOMET
1998
13 years 8 months ago
Extended static checking
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
K. Rustan M. Leino
ENTCS
2007
118views more  ENTCS 2007»
13 years 7 months ago
Safe Adaptation of Component Coordination
In the domain of software engineering, the use of software components is now a well established approach. However, it raises problems about the dynamic adaptation of these compone...
Christophe Sibertin-Blanc, Philippe Mauran, G&eacu...
AIEDU
2004
71views more  AIEDU 2004»
13 years 7 months ago
Using Intelligent Feedback to Improve Sourcing and Integration in Students' Essays
Learning and reasoning from multiple documents requires students to employ the skills of sourcing (i.e., attending to and citing sources) and information integration (i.e., making ...
Mary Anne Britt, Peter M. Wiemer-Hastings, Aaron A...
ICWS
2010
IEEE
13 years 5 months ago
An Approach for Mining Web Service Composition Patterns from Execution Logs
A service-oriented application is composed of multiple web services to fulfill complex functionality that cannot be provided by individual web service. The combination of services ...
Ran Tang, Ying Zou
ICIP
2009
IEEE
13 years 5 months ago
Semantic keyword extraction via adaptive text binarization of unstructured unsourced video
We propose a fully automatic method for summarizing and indexing unstructured presentation videos based on text extracted from the projected slides. We use changes of text in the ...
Michele Merler, John R. Kender