Sciweavers

2132 search results - page 256 / 427
» The Challenges of Automatic Summarization
Sort
View
IGPL
2006
130views more  IGPL 2006»
13 years 9 months ago
Verifying Temporal Heap Properties Specified via Evolution Logic
Abstract. This paper addresses the problem of establishing temporal properties of programs written in languages, such as Java, that make extensive use of the heap to allocate-and d...
Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard...
IJET
2006
112views more  IJET 2006»
13 years 9 months ago
Personalized E-Learning in the Semantic Web
: The challenge of the semantic web is the provision of distributed information with well defined meaning, understandable for different parties. Particularly, applications should b...
Nicola Henze
JNW
2008
128views more  JNW 2008»
13 years 9 months ago
A Proxy-Based Approach to Enhancing the Autonomic Behavior in Composite Services
Web services paradigm is allowing applications to electronically interact with one another over the Internet. The business process execution language (BPEL) takes this ion to a hig...
Onyeka Ezenwoye, Seyed Masoud Sadjadi
JEI
2006
103views more  JEI 2006»
13 years 9 months ago
Shot boundary detection without threshold parameters
Automatic shot boundary detection is a field, where many techniques and methods have been proposed and have claimed to perform reliably, especially for abrupt scene cut detection. ...
Harilaos Koumaras, Georgios Gardikis, Georgios Xil...
SIGCSE
2008
ACM
169views Education» more  SIGCSE 2008»
13 years 9 months ago
APOGEE: automated project grading and instant feedback system for web based computing
Providing consistent, instant, and detailed feedback to students has been a big challenge in teaching Web based computing, given the complexity of project assignments and the comp...
Xiang Fu, Boris Peltsverger, Kai Qian, Lixin Tao, ...