Sciweavers

87 search results - page 6 / 18
» Automatic extraction of notions from course material
Sort
View
ICCV
2007
IEEE
14 years 1 months ago
Dense Multiscale Motion Extraction from Cardiac Cine MR Tagging using HARP Technology
We propose an operational method to extract the left ventricle (LV) systole dynamics using HARmonic Phase (HARP) images extracted from tagged cardiac MR sequences. Established tec...
Luc Florack, Hans C. van Assen, Avan Suinesiaputra
CATE
2004
133views Education» more  CATE 2004»
13 years 8 months ago
Semi-Automatic Evaluation Features in Computer-assisted Essay Assessment
The role of assessment and evaluation has recently changed in a way which will have fundamental consequences in applying information and communication technologies (ICTs) to analy...
Tuomo Kakkonen, Niko Myller, Erkki Sutinen
EJIS
2006
105views more  EJIS 2006»
13 years 7 months ago
Activity-based design
In many types of activities, communicative and material activities are so intertwined that the one cannot be understood without taking the other into account. This is true of mari...
Peter Bøgh Andersen
ICPR
2002
IEEE
14 years 8 months ago
Video Editing Support System Based on Video Grammar and Content Analysis
Video editing is the work to produce the final videos with certain duration by finding and selecting appropriate shots from the material videos and connecting them. In order to pr...
Masahito Kumano, Yasuo Ariki, Miki Amano, Kuniaki ...
MPC
1995
Springer
125views Mathematics» more  MPC 1995»
13 years 10 months ago
Synthesizing Proofs from Programs in the Calculus of Inductive Constructions
We want to prove \automatically" that a program is correct with respect to a set of given properties that is a speci cation. Proofs of speci cations contain logical parts and ...
Catherine Parent