Sciweavers

4880 search results - page 740 / 976
» Manuals as Structured Programs
Sort
View
HASKELL
2005
ACM
16 years 5 days ago
Haskell ready to dazzle the real world
Haskell has proved itself to be a suitable implementation language for large software projects. Nevertheless, surprisingly few graphical end-user applications have been written in...
Martijn M. Schrage, Arjan van IJzendoorn, Linda C....
MM
2005
ACM
150views Multimedia» more  MM 2005»
16 years 5 days ago
Exciting event detection in broadcast soccer video with mid-level description and incremental learning
In this paper, we propose a method for exciting event detection in broadcast soccer video with mid-level description and SVM-based incremental learning. In the method, video frame...
Qixiang Ye, Qingming Huang, Wen Gao, Shuqiang Jian...
SIGCSE
2005
ACM
147views Education» more  SIGCSE 2005»
16 years 5 days ago
Automated tutoring for a database skills training environment
Universities are increasingly offering courses online. Feedback, assessment, and guidance are important features of this online courseware. Together, in the absence of a human tut...
Claire Kenny, Claus Pahl
141
Voted
APN
2005
Springer
16 years 5 days ago
Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation
stract Interpretation Robert Claris´o, Enric Rodr´ıguez-Carbonell, and Jordi Cortadella Universitat Polit`ecnica de Catalunya, Barcelona, Spain Abstract interpretation is a para...
Robert Clarisó, Enric Rodríguez-Carb...
COORDINATION
2005
Springer
16 years 5 days ago
Preserving Architectural Properties in Multithreaded Code Generation
Architectural descriptions can provide support for a formal representation of the structure and the overall behavior of software systems, which is suitable for an early assessment ...
Marco Bernardo, Edoardo Bontà