Sciweavers

97 search results - page 15 / 20
» Register Organization for Media Processing
Sort
View
LISP
2006
160views more  LISP 2006»
13 years 7 months ago
Formal compiler construction in a logical framework
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the igher-order abstract syntax and ...
Jason Hickey, Aleksey Nogin
ICIP
2003
IEEE
14 years 9 months ago
Structuralizing educational videos based on presentation content
This work addresses the challenge of extracting structure in educational and training media based on the type of material that is presented during lectures and training sessions. ...
Chitra Dorai, Vincent Oria, Viswanath Neelavalli
INTERACT
2007
13 years 9 months ago
Automation and E-government Services - A Widened Perspective
This short paper questions the focus on automation of egovernment processes, and efficiency in e-government, which is prevalent in both research and in practice in Swedish governm...
Åsa Cajander, Elina Eriksson
WWW
2009
ACM
14 years 8 months ago
Efficient overlap and content reuse detection in blogs and online news articles
The use of blogs to track and comment on real world (political, news, entertainment) events is growing. Similarly, as more individuals start relying on the Web as their primary in...
Jong Wook Kim, Jun'ichi Tatemura, K. Selçuk...
DAC
2006
ACM
14 years 8 months ago
Rapid and low-cost context-switch through embedded processor customization for real-time and control applications
In this paper, we present a methodology for low-cost and rapid context switch for multithreaded embedded processors with realtime guarantees. Context-switch, which involves saving...
Xiangrong Zhou, Peter Petrov