1746 search results - page 254 / 350 » A Constructive Semantics for ALC |
121
click to vote
GRAPHICSINTERFACE
1996
15 years 2 months ago
1996
Many educators have used Algorithm Visualization (AV) to teach students of computer science about how computer algorithms work. Our study sheds light on two important questions: (...
CORR
2010
Springer
15 years 24 days ago
2010
Springer
This paper presents a method for improving any object tracking algorithm based on machine learning. During the training phase, important trajectory features are extracted which are...
CORR
2008
Springer
15 years 24 days ago
2008
Springer
Propositional canonical Gentzen-type systems, introduced in [2], are systems which in addition to the standard axioms and structural rules have only logical rules in which exactly ...
85
Voted
COGSCI
2006
15 years 22 days ago
2006
Comprehenders often need to go beyond conventional word senses to obtain an appropriate interpretation of an expression. We report an experiment examining the processing of standa...
106
click to vote
IVC
2006
15 years 20 days ago
2006
This paper describes a fully automatic content-based approach for browsing and retrieval of MPEG-2 compressed video. The first step of the approach is the detection of shot bounda...