Sciweavers

4880 search results - page 740 / 976
» Manuals as Structured Programs
Sort
View
HASKELL
2005
ACM
16 years 20 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 19 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 19 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
APN
2005
Springer
16 years 19 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 19 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à